Would a simple github based site make sense?

[pemensik]

@peyre, check this manual. What do you think about it?

[peyre]

Hey, that looks pretty good! I see it's very recent. Does it include the little updates I made this morning?

[peyre]

Hm, it does a couple of odd things though. The tables at the end are shoved off to the right, and ** markup in there doesn't boldface text.

[pemensik]

It is unfortunately a copy I have made. I haven't found a way to reuse manual directly from main repository, doc/manual folder. Dne út 12. 7. 2022 23:53 uživatel Leon Baradat ***@***.***> napsal:

…

Hm, it does a couple of odd things though. The tables at the end are shoved off to the right, and ** markup in there doesn't boldface text. — Reply to this email directly, view it on GitHub <#1 (comment)>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/AGBSB3MSL4EZ524TJW77XHDVTXSNRANCNFSM53DU6MYA> . You are receiving this because you authored the thread.Message ID: ***@***.***>

[peyre]

Well, if it comes to it we can simply take out the ** tags. The boldfacing is a "would be nice" item, not critical.