make-dist accepts the archive name

[aquarium] / .gitignore

diff --git a/.gitignore b/.gitignore
index 84f79ee..cca9a3e 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -22,3 +22,22 @@ project/boot/
 
 aquarium.properties
 !src/main/resources/aquarium.properties
+doc/arch/aquarium.aux
+doc/arch/aquarium.bbl
+doc/arch/aquarium.blg
+doc/arch/aquarium.log
+doc/arch/aquarium.pdf
+doc/arch/_region_.log
+doc/arch/_region_.prv
+doc/arch/_region_.synctex.gz
+doc/arch/_region_.tex
+doc/arch/prv_aquarium.log
+doc/arch/aquarium.synctex.gz
+doc/arch/aquarium.ent
+doc/arch/arch.texshop
+build.log
+_gitstats
+*.aquarium.properties
+sshfs
+aquarium-dist
+aquarium-dist.tar.gz