Re: [Gretl-devel] User's Guide and script snippets

This will be mostly relevant to Jack and Cri. In the process of cleaning up the formatting of script snippets in the TeX manual, I notice that I've been inconsistent in the absolute indent given to code snippets (that is, the indent of the whole snippet relative to the left margin, as opposed to the relative indent of things like loop and mle blocks). I now propose that all such snippets (i.e., stuff between \begin{code} and \end{code}) get an absolute indent of zero in the TeX source: put them right up at the left-hand edge. Now that I've learned how to use fancyvrb.sty, a uniform absolute indent (if desirable) can be applied at the style file level (in gretl.sty).