Skip to content

Small fixes in the man pages

Pierre Ganty requested to merge pierreganty/man-fixes into next

I fixed some typos in the man pages with a particular focus on spot-x. However, there is still a problem with HTML generation as can be seen here: https://spot-dev.lre.epita.fr/man/spot-x.7.html . Locally (i.e. localhost), I could confirm that the man pages generated are fine, but the HTML is not. I can't figure why the BIBLIOGRAPHY is rendered as this big bold blob. Also, I did not find what are the rules about hyphens in options (e.g. --verbose) or the use of Unicode characters (e.g. Büchi).

Merge request reports