summaryrefslogtreecommitdiffstats
path: root/.gitignore
diff options
context:
space:
mode:
authorPablo Neira Ayuso <pablo@netfilter.org>2018-08-14 14:51:45 +0200
committerPablo Neira Ayuso <pablo@netfilter.org>2018-08-17 11:53:01 +0200
commit13e44a608eb80536d693725dd534b5de546b24cf (patch)
tree815b72768e76f7cc4d45a502324f5101ed03c57f /.gitignore
parentedb688008d1eb013760b62a662973cf8b270e162 (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 '.gitignore')
0 files changed, 0 insertions, 0 deletions