Re: @ifnottex: texinfo 3.12, 4.0, and XEamcs 21.2

APA> Further investigation shows that texinfo-3.12 has problems with this APA> construct also. Was this a bug in 3.12? Sources indicate that it APA> should support the construct. I did not have the same experience as Adrian, but I am on Linux using makeinfo 3.12f (and 4.0) and Adrian is on Windows NT. For me makeinfo 3.12f works fine. Shell transcript follows. $ rm -f info/*.info*; (PATH=/usr/bin:$PATH; make info); cd /home/martin/x/ws/fiddle/man && make info make[1]: Entering directory `/home/martin/x/ws/fiddle/man' makeinfo -o ../info/cl.info cl.texi makeinfo -o ../info/custom.info custom.texi makeinfo -o ../info/emodules.info emodules.texi makeinfo -o ../info/external-widget.info external-widget.texi makeinfo -o ../info/info.info info.texi makeinfo -P lispref -o ../info/lispref.info lispref/lispref.texi makeinfo -P internals -o ../info/internals.info internals/internals.texi makeinfo -P new-users-guide -o ../info/new-users-guide.info new-users-guide/new-users-guide.texi makeinfo -o ../info/standards.info standards.texi makeinfo -o ../info/term.info term.texi makeinfo -o ../info/termcap.info termcap.texi makeinfo -o ../info/texinfo.info texinfo.texi makeinfo -o ../info/widget.info widget.texi makeinfo -P xemacs -o ../info/xemacs.info xemacs/xemacs.texi makeinfo -o ../info/xemacs-faq.info xemacs-faq.texi make[1]: Leaving directory `/home/martin/x/ws/fiddle/man' ( PATH=/usr/bin:$PATH ; make info ) 9.79s user 0.70s system 99% cpu 10.492 total $ rm -f info/*.info*; (make info); cd /home/martin/x/ws/fiddle/man && make info make[1]: Entering directory `/home/martin/x/ws/fiddle/man' makeinfo -o ../info/cl.info cl.texi makeinfo -o ../info/custom.info custom.texi makeinfo -o ../info/emodules.info emodules.texi makeinfo -o ../info/external-widget.info external-widget.texi makeinfo -o ../info/info.info info.texi makeinfo -P lispref -o ../info/lispref.info lispref/lispref.texi makeinfo -P internals -o ../info/internals.info internals/internals.texi makeinfo -P new-users-guide -o ../info/new-users-guide.info new-users-guide/new-users-guide.texi makeinfo -o ../info/standards.info standards.texi makeinfo -o ../info/term.info term.texi makeinfo -o ../info/termcap.info termcap.texi makeinfo -o ../info/texinfo.info texinfo.texi makeinfo -o ../info/widget.info widget.texi makeinfo -P xemacs -o ../info/xemacs.info xemacs/xemacs.texi makeinfo -o ../info/xemacs-faq.info xemacs-faq.texi make[1]: Leaving directory `/home/martin/x/ws/fiddle/man' $ makeinfo --version makeinfo (GNU texinfo) 4.0 Copyright (C) 1999 Free Software Foundation, Inc. There is NO warranty. You may redistribute this software under the terms of the GNU General Public License. For more information about these matters, see the files named COPYING. $ (PATH=/usr/bin:$PATH; makeinfo --version) makeinfo (GNU texinfo) 3.12f Copyright (C) 1999 Free Software Foundation, Inc. There is NO warranty. You may redistribute this software under the terms of the GNU General Public License. For more information about these matters, see the files named COPYING.