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 ceaac2c063..e366d0195d 100644 --- a/.gitignore +++ b/.gitignore @@ -683,3 +683,13 @@ src/gl/warn-on-use.h doc/stamp_invoke src/gl/libgnu_gpl.a src/gl/libgnu_gpl.la +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 |