Developer output format for user documentation

[Karl Ove Hufthammer]

Johnny Jazeix skreiv 06.05.2020 15:05:
> For the final users, what is good would be to have both an online
> manual (html pages) and offline (pdf).
>
> I was wondering which intermediate format we should use to generate
> these: latex, docbook...
>
> Do you have any preference?

To actually generate the PDF, LaTeX will give the best quality. For the 
*source* format, there are many options, e.g., Bookdown or Asciidoctor.

But it’s OK to have the end result only in HTML. It’s easily printable, 
if one really needs an offline (or ‘off-grid’) version.


-- 
Karl Ove Hufthammer