An error occurred while fetching folder content.
build: move all documentation into a single directory
Benno Schulenberg authored
There are just a handful of source files for the documentation --
it is wasteful and cumbersome to have these in separate directories.

Also: remove the French man pages -- they are too far out of date.
(And anyway, we should acquire a general framework for translating
the documentation.)
6981294c
Name Last commit Last update
..