On Sun, Oct 10, 2021 at 10:18:39AM +0000, Alan Mackenzie wrote: > Hello, Jacob. > > I have not yet figured out how to add a new command line option. I > envisage the new option being called --enable-utf8-punctuation, with a > default value of ON. > > So, my question. Are the maintainers of Texinfo, in principle, willing > to accept such an enhancement and to include it in future release > versions?
You can already use --disable-encoding, but it has other consequences than keeping the literal ` and '. For simple quoted strings, you should be able to pass -c OPEN_QUOTE_SYMBOL=` -c CLOSE_QUOTE_SYMBOL=' (with proper shell script quoting) to set the quotes. Would that be enough? -- Pat
