diff options
| author | Wladimir J. van der Laan <laanwj@protonmail.com> | 2020-11-18 11:09:58 +0100 |
|---|---|---|
| committer | Wladimir J. van der Laan <laanwj@protonmail.com> | 2020-11-18 11:12:46 +0100 |
| commit | daf1ebf0b1c2020169d75fc52c3be87207693a04 (patch) | |
| tree | 9930fcca4c5fa8c0aa60778bdb9811f818e64800 /share | |
| parent | 132e1d897f131537713c8314632022e073f4d4e1 (diff) | |
doc: Remove generated manual pages from master branch
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 #20031.
Diffstat (limited to 'share')
0 files changed, 0 insertions, 0 deletions