[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Mention how to unindent footnotes

From: Alfred M. Szmidt
Subject: Re: Mention how to unindent footnotes
Date: Tue, 21 Dec 2021 11:18:08 -0500

   AMS>    $ makeinfo --plaintext --set-customization-variable paragraphindent=0
   AMS>    doesn't work.

   Does not!:
   $ makeinfo --plaintext --set-customization-variable paragraphindent=0 < 

Those are not the same.   

   AMS>    Or mention that 'sorry, it is impossible. Use sed or awk etc.'

   AMS> It is mentioned, in the error message.

   No error message above.

No, cause you changed the command -- you passed input in the form of a
file this time around. FILENAME can be stdin.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]