diff options
| author | Will Estes <westes575@gmail.com> | 2014-11-14 08:35:24 -0500 |
|---|---|---|
| committer | Will Estes <westes575@gmail.com> | 2014-11-14 08:41:37 -0500 |
| commit | 39413323dda9e00a2c1d2a22ddf3d12b35d9a4ad (patch) | |
| tree | ecd73f5db068a12aa8314a2016a05d98a8231701 /doc | |
| parent | d6dfc4caa46a1b70b1107171253c4f7863a3c6fd (diff) | |
Ignore directories build-aux/, m4/
Since build-aux/ now contains a number of files previously at the top
level, we ignore build-aux/. Therefore, it's not necessary to list any
files that are now kept in it. Also, explicitly mark m4/ as a directory to ignore.
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/.gitignore | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/doc/.gitignore b/doc/.gitignore index eb9fdf4..83b0108 100644 --- a/doc/.gitignore +++ b/doc/.gitignore @@ -1,5 +1,3 @@ -mdate-sh -texinfo.tex flex.aux flex.cp flex.cps |