From b0d2697f689348976da7aefd506b3d8b6fdee420 Mon Sep 17 00:00:00 2001 From: Sergey Poznyakoff Date: Sun, 1 Mar 2015 23:08:44 +0200 Subject: Switch to Texinfo 5.0 * doc/Config: Rewrite. * doc/Makefile.am: Use Makeinfo 5 instead of texi2htm * doc/gendocs_template: Ps is not built * imprimatur: Upgrade. --- doc/pies.texi | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'doc/pies.texi') diff --git a/doc/pies.texi b/doc/pies.texi index 3bcb349..46e1b91 100644 --- a/doc/pies.texi +++ b/doc/pies.texi @@ -2666,7 +2666,7 @@ Restart components named in the command line. @xref{pies-restart}. @item --version Display program version and license information and exit. -@xopindex{undefine} +@opsummary{undefine} @item --undefine=@var{sym} @itemx -U @var{sym} Undefine symbol @var{sym}. @xref{Preprocessor}. -- cgit v1.2.1