From: Ed B. <be...@mi...> - 2017-04-14 00:27:33
|
H. Peter Anvin wrote: > It is becoming pretty clear that maintaining our own typesetting > system for the documentation is getting increasingly ridiculous. I've not been active here for some time, but would heartily agree with that. > Obviously we would have to make sure that the output not just looks > right but has the proper metadata, which would mean using a stylized > LaTeX, but that's not a problem -- it would still give us > flexibility far beyond what we currently get. Another possibility is markdown, although the processing might need to be somewhat customized. The advantage is that it puts very little extraneous stuff into the human-edited input. LaTeX has the advantage of a very long history and a plethora of tools. Ed |