Update .gitignore file to ignore *.info files

LogtalkDotOrg · May 12, 2019 · c176fd8 · c176fd8
1 parent c73ec1c
commit c176fd8
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -7,8 +7,10 @@
 
 # Logtalk distribution files and directories
 /TODO.txt
+/docs/*.info
 /manuals/*.pdf
 /manuals/*.epub
+/manuals/*.info
 
 # Logtalk automated documenting and testing logs
 logtalk_tester_logs/