Ignore build-html-index.log and maxima-index-html.lisp
commit733e0b414458f63806e098f43e6516243224e45c
authorRaymond Toy <toy.raymond@gmail.com>
Sun, 11 Jun 2023 01:10:11 +0000 (10 18:10 -0700)
committerRaymond Toy <toy.raymond@gmail.com>
Sat, 17 Jun 2023 21:42:53 +0000 (17 14:42 -0700)
tree1c3a2b9086fc0a391410b44403728a50481bd79a
parent68c08cc4ae6afc7f999896b8b1370aae88a918b0
Ignore build-html-index.log and maxima-index-html.lisp

These are generated and should be ignored by git.
doc/info/.gitignore