Created attachment 83545 [details]
Uhm. What exactly are you doing to get this result? The error message is "check-doc-syntax.awk", but that file is in git, is in Makefile.am's EXTRA_DIST and also is in the 1.12.12 release .tar.xz. In other words, I cannot reproduce this problem at all.
The file is indeed present in the tarball, I looked for it. I tried different things and the problem turned out to be bad interpreter, instead of /usr/bin/awk I have /bin/awk so src/check-doc-syntax.awk fails.
Can you do something about that, detect the path to awk and adjust it in src/check-doc-syntax.awk or you consider this a distribution specific bug?
Author: Uli Schlachter <firstname.lastname@example.org>
Date: Sun Sep 15 16:58:05 2013 +0200
check-doc-syntax: Don't hardcode path to awk
Instead of expecting awk in /usr/bin, this commit changes the code to call awk
through a shell so that $PATH is searched.
Since this awk script shouldn't really be called manually, this is done by
removing the shebang from the awk script, marking it non-executable and fixing
up the caller.
Reviewed-by: Bryce Harrington <email@example.com>
Signed-off-by: Uli Schlachter <firstname.lastname@example.org>