|
| From: | Marco Maggi |
| Subject: | Re: [help-texinfo] error compiling texi to dvi, conflicting names with texinfo.tex? |
| Date: | Fri, 22 Feb 2019 12:12:20 +0100 |
Marco Maggi wrote: > @set PACKAGE_HEADER blue.h > @set PACKAGE_HEADER_FILE @address@hidden Mh... I think I got it: it is the "_" in the flag name. -- Marco Maggi
| [Prev in Thread] | Current Thread | [Next in Thread] |