From: Richard W.M. Jones Date: Sat, 18 Jan 2020 15:31:40 +0000 (+0000) Subject: build: Reorder .gitignore X-Git-Tag: v'0.2'~1 X-Git-Url: http://git.annexia.org/?a=commitdiff_plain;h=faaf1bdac0addd11dda7ffbc4931c8fd69747cd7;p=goals.git build: Reorder .gitignore --- diff --git a/.gitignore b/.gitignore index dcf5b7a..7e993ac 100644 --- a/.gitignore +++ b/.gitignore @@ -8,10 +8,6 @@ *.o /*.tar.gz -/local* - -/man/*.? -/man/*.?.txt .depend Goalfile @@ -27,6 +23,9 @@ Makefile /goals.spec /goals-*.src.rpm /install-sh +/local* +/man/*.? +/man/*.?.txt /run /src/config.ml /src/goals