diff options
author | Pablo Neira Ayuso <pablo@netfilter.org> | 2018-08-14 14:51:45 +0200 |
---|---|---|
committer | Pablo Neira Ayuso <pablo@netfilter.org> | 2018-08-17 11:53:01 +0200 |
commit | 13e44a608eb80536d693725dd534b5de546b24cf (patch) | |
tree | 815b72768e76f7cc4d45a502324f5101ed03c57f /doc/build_pdfs.sh | |
parent | edb688008d1eb013760b62a662973cf8b270e162 (diff) |
build: remove PDF documentation generation
This adds unnecessary complexity to our build infrastructure. People can
just manually generate them in PDF in case they need too. So let's keep
it simple and remove this.
Signed-off-by: Pablo Neira Ayuso <pablo@netfilter.org>
Diffstat (limited to 'doc/build_pdfs.sh')
0 files changed, 0 insertions, 0 deletions