diff options
author | Jacob Bachmeyer <jcb@gnu.org> | 2020-08-18 21:22:55 -0500 |
---|---|---|
committer | Jacob Bachmeyer <jcb@gnu.org> | 2020-08-18 21:22:55 -0500 |
commit | 82e717f0d883223aaef6e064c1ace48c4d32402f (patch) | |
tree | 7240ec24ebd25913f72b0bf8a1837a8b058f7fdd | |
parent | aa173cea24b94d3f714f07bbbfda85740e8e77db (diff) | |
download | dejagnu-82e717f0d883223aaef6e064c1ace48c4d32402f.zip dejagnu-82e717f0d883223aaef6e064c1ace48c4d32402f.tar.gz dejagnu-82e717f0d883223aaef6e064c1ace48c4d32402f.tar.bz2 |
Ignore files generated by texi2dvi
-rw-r--r-- | doc/.gitignore | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/doc/.gitignore b/doc/.gitignore index 01f5725..4787ef9 100644 --- a/doc/.gitignore +++ b/doc/.gitignore @@ -1,3 +1,9 @@ dejagnu.info +dejagnu.dvi +dejagnu.log +dejagnu.aux +dejagnu.toc +dejagnu.?? +dejagnu.??s version.texi stamp-vti |