Hello, I’m new to Texinfo and to this list, and couldn’t find help in the docs unfortunately.
The question is: is there a way to simplify the following, which I use often: @indentedblock @verbatim … @end verbatim @end indentedblock into something like: @indentedverbatim … @end indentedverbatim Thanks for your help! -- Jacques Menu Ch. de la Pierre 12 1023 Crissier mailto:[email protected]
