Sorry. I now updated my system to texinfo-5.2.
However, when I run "make pdf V=1", I get this:
make[1]: Entering directory `/home/me/src/test/doc'
TEXINPUTS="../build-aux:$TEXINPUTS" \
MAKEINFO='/bin/sh /home/me/src/test/build-aux/missing makeinfo -I .' \
texi2dvi --pdf --batch --build-dir=manual.t2p -o manual.pdf \
manual.texi
This is pdfeTeXk, Version 3.141592-1.21a-2.2 (Web2C 7.5.4)
file:line:error style messages enabled.
entering extended mode
...
/home/me/src/test/doc/./manual.texi:10: Undefined control sequence.
l.10 @codequoteundirected
on
/home/me/src/test/doc/./manual.texi:11: Undefined control sequence.
l.11 @codequotebacktick
on
...
Output written on manual.pdf (30 pages, 224393 bytes).
Transcript written on manual.log.
/home/me/bin/texi2dvi: pdfetex exited with bad status, quitting.
make[1]: *** [manual_eqtlbma.pdf] Error 1
Can this be due to the fact that my version of pdfetex is too old? (Or is it pdfeTeXk? Is it the same thing?)