On Mon, 13 Jul 2015 22:02:48 +0200Peter Huewe <peterhuewe@gmx.de> wrote:> docproc.c was moved in 2011 from scripts/basic to scripts> -> updated the references accordingly Applied to the docs tree, thanks.jon