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.