[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Possible to set makeinfo options within texinfo file?
|
From: |
Alfred M. Szmidt |
|
Subject: |
Re: Possible to set makeinfo options within texinfo file? |
|
Date: |
Tue, 21 Dec 2021 15:05:18 -0500 |
However, please consider whether it would be better to set this option on
the command line rather than inside the Texinfo file itself as it may not
be the best place for controlling details of the output.
An idea is to add support to makeinfo so that it reads a makeinfo.conf
file (or equivalent) in the current working directory, which would
contain all the options a user might want to pass to makeinfo.