Ignore generated documentation files
authorJacob Bachmeyer <jcb@gnu.org>
Wed, 5 Apr 2023 02:25:52 +0000 (21:25 -0500)
committerJacob Bachmeyer <jcb@gnu.org>
Wed, 5 Apr 2023 02:25:52 +0000 (21:25 -0500)
commit0ed971f4ca0d81f410596ca1d15753bba5953c1d
treee1b7cbbfe8a3765a0daa62d1493b5acf98ce35e5
parentd5765dc9bb84323b41f84ec73f4c4ccc3dd1dd30
Ignore generated documentation files
doc/.gitignore [new file with mode: 0644]