build: Remove man/*.? man pages when running 'make clean'.

[goals.git] / .gitignore

diff --git a/.gitignore b/.gitignore
index 7593c84..c7b71aa 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -6,7 +6,7 @@
 *.cmxa
 *.o
 
-/docs/*.1
+/man/*.?
 
 .depend
 Goalfile