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/.gitignore | |
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/.gitignore')
-rw-r--r-- | doc/.gitignore | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/doc/.gitignore b/doc/.gitignore index 30ec6a35..baf2ecab 100644 --- a/doc/.gitignore +++ b/doc/.gitignore @@ -1,6 +1,3 @@ libnftables.3 -libnftables.pdf libnftables-json.5 -libnftables-json.pdf nft.8 -nft.pdf |