aboutsummaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorWladimir J. van der Laan <laanwj@protonmail.com>2020-11-18 11:09:58 +0100
committerWladimir J. van der Laan <laanwj@protonmail.com>2020-11-18 11:12:46 +0100
commitdaf1ebf0b1c2020169d75fc52c3be87207693a04 (patch)
tree9930fcca4c5fa8c0aa60778bdb9811f818e64800 /src
parent132e1d897f131537713c8314632022e073f4d4e1 (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 'src')
0 files changed, 0 insertions, 0 deletions