[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 <
/dev/null
$
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.