From: Richard W.M. Jones Date: Sun, 12 Jan 2020 21:44:24 +0000 (+0000) Subject: Ignore local* files. X-Git-Tag: v'0.2'~15 X-Git-Url: http://git.annexia.org/?a=commitdiff_plain;h=3258e6938ac266998ced1394792e1a3a44779526;p=goals.git Ignore local* files. Allows you to have ./localconfigure and/or ./localmake files to add local parameters to configure or make. --- diff --git a/.gitignore b/.gitignore index f7f3271..02815a7 100644 --- a/.gitignore +++ b/.gitignore @@ -7,6 +7,8 @@ *.log *.o +/local* + /man/*.? .depend