From 733e0b414458f63806e098f43e6516243224e45c Mon Sep 17 00:00:00 2001
From: Raymond Toy <toy.raymond@gmail.com>
Date: Sat, 10 Jun 2023 18:10:11 -0700
Subject: [PATCH] Ignore build-html-index.log and maxima-index-html.lisp

These are generated and should be ignored by git.
---
 doc/info/.gitignore | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/doc/info/.gitignore b/doc/info/.gitignore
index 6183f6184..11cc9ae39 100644
--- a/doc/info/.gitignore
+++ b/doc/info/.gitignore
@@ -45,4 +45,6 @@ texi2html-7.init
 build_html.sh
 tmp_html
 extract_categories.sh
-tmpfile
\ No newline at end of file
+tmpfile
+build-html-index.log
+maxima-index-html.lisp
-- 
2.11.4.GIT