diff options
| -rw-r--r-- | .gitignore | 1 | ||||
| -rw-r--r-- | doc/.gitignore | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index 328727d71b..023d8eb135 100644 --- a/.gitignore +++ b/.gitignore @@ -440,6 +440,7 @@ po/quot.sed po/remove-potcdate.sed po/remove-potcdate.sin po/stamp-po +src/invoke-*.menu src/Makefile src/Makefile.in src/benchmark diff --git a/doc/.gitignore b/doc/.gitignore index 915c30a332..3af24c19d4 100644 --- a/doc/.gitignore +++ b/doc/.gitignore @@ -30,3 +30,4 @@ alerts.texi alert-printlist latex/alerts.tex latex/functions +invoke-*.texi |