commit | 6981294c9da6e605e120c6e618e4c7b681ab8ac4 | [log] [tgz] |
---|---|---|
author | Benno Schulenberg <bensberg@justemail.net> | Sat Dec 24 14:18:02 2016 +0100 |
committer | Benno Schulenberg <bensberg@justemail.net> | Fri Dec 30 22:05:00 2016 +0100 |
tree | 4e26726a39e621af4e3af00faf90b377dc5f3e89 | |
parent | fc89ac11d25a5d052a63c01006c1fd767d9f5879 [diff] |
build: move all documentation into a single directory 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.)