X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=.gitignore;h=7e993ac786878174ad86b904ea998f3d3bc8c0a3;hb=ff4a8c81429495ae914d0dbeef9dbb50b2b1a00c;hp=1a724bb99a860ec18c36d6d736f0974ccfa9914c;hpb=1c0b762f3e440d492bd061a718afdf1c5adbcbc1;p=goals.git diff --git a/.gitignore b/.gitignore index 1a724bb..7e993ac 100644 --- a/.gitignore +++ b/.gitignore @@ -8,10 +8,6 @@ *.o /*.tar.gz -/local* - -/man/*.? -/man/*.?.txt .depend Goalfile @@ -24,7 +20,12 @@ Makefile /config.h.in /config.log /config.status +/goals.spec +/goals-*.src.rpm /install-sh +/local* +/man/*.? +/man/*.?.txt /run /src/config.ml /src/goals