diff options
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index edee2b6c73..b2d6e8340c 100644 --- a/.gitignore +++ b/.gitignore @@ -694,3 +694,13 @@ doc/invoke-p11tool.texi doc/invoke-psktool.texi doc/invoke-srptool.texi doc/invoke-tpmtool.texi +doc/invoke-certtool.texi +doc/invoke-danetool.texi +doc/invoke-gnutls-cli-debug.texi +doc/invoke-gnutls-cli.texi +doc/invoke-gnutls-serv.texi +doc/invoke-ocsptool.texi +doc/invoke-p11tool.texi +doc/invoke-psktool.texi +doc/invoke-srptool.texi +doc/invoke-tpmtool.texi |