[Unison-hackers] [FeauterRequest] doc: improving build-unix

[Benjamin C. Pierce]

Hi,

> I would suggest some improvements of the relevant docu-part.
> <http://www.cis.upenn.edu/~bcpierce/unison/download/releases/stable/unison-manual.html#build-unix>

Improvements always welcome!  

> What do you thing about this modifications?
> I would implement them.

These all seem like good improvements.

> Do I understand it right that all relevant doc-files are build from
> "docs/unison-manual.tex"? So I should modify it. Or did I miss any
> other files?

Yes, this is the one.  You would need lynx and (a particular version of) hevea to process the files into text strings, but you can just fix the tex version and let me do the rest.  

    - Benjamin