On Tue, Nov 19, 2019 at 11:27 AM Daniel Gustafsson <daniel(at)yesql(dot)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?
//Magnus