Re: [Gnu-arch-users] newbie questions about tagging

[Robin Farine]

>>>>> Dustin Sallings writes:

    > On Nov 11, 2003, at 13:34, Carlos Pereira wrote:

    >> Finally a suggestion, it would be nice to have a single
    >> .ps file of the manual, say, by converting the .html files
    >> of the manual online to latex and building a postscript file
    >> from there,

    >   It sounds like you've already done this work.  :)

Hey, it even appeared in my project tree (src/docs-tla/ps/arch.ps) ;)

-- 
rnf