diff options
| author | MarcoFalke <falke.marco@gmail.com> | 2020-11-18 14:42:26 +0100 |
|---|---|---|
| committer | MarcoFalke <falke.marco@gmail.com> | 2020-11-18 14:42:37 +0100 |
| commit | 50e019a97a5b49caee867ec7d630fca908caed9d (patch) | |
| tree | a64788d356d80ca933ac5fb4d1469ed72ea74ddf /contrib | |
| parent | d020e8839fa590f5c3553458de2f979af7663084 (diff) | |
| parent | daf1ebf0b1c2020169d75fc52c3be87207693a04 (diff) | |
Merge #20414: doc: Remove generated manual pages from master branch
daf1ebf0b1c2020169d75fc52c3be87207693a04 doc: Remove generated manual pages from master branch (Wladimir J. van der Laan)
Pull request description:
Replace the generated manual pages on the master branch with placeholders with instructions. The master branch is too much in flux for anything generated from command output to be kept up to date, and having pages from versions ago looks silly.
We can't remove them completely because `make dist` relies on the files being present.
Resolves #20062.
ACKs for top commit:
MarcoFalke:
review ACK daf1ebf0b1c2020169d75fc52c3be87207693a04
RiccardoMasutti:
ACK daf1ebf
Tree-SHA512: fdd0bb777ddf66c663e4f6b00d206b3f6283ae89028e00b38d16e68a224a781e9245a25edf6f3326f9252ae2ef7c2950c591667c56d4e9d10a16fc50a6c358f4
Diffstat (limited to 'contrib')
0 files changed, 0 insertions, 0 deletions