On Tue, Nov 19, 2019 at 11:27 AM Daniel Gustafsson <daniel@yesql.se> wrote:
When looking at the documentation issue raised this morning, I took a peek at the /docs HTML and found a few small things to fix as per the attached patches:
0001 - Fix markup for the definition list containing manuals 0002 - Fix links to translations 0003 - Fix mention of SGML docs
Any objections to these?
Nope, all three look good.
One thing that comes up when I see 0001 -- "online manuals".. It's not like we provide offline manuals... Maybe we should just call it manuals?