diff options
author | EuAndreh <eu@euandre.org> | 2022-08-12 18:32:54 -0300 |
---|---|---|
committer | EuAndreh <eu@euandre.org> | 2022-08-12 18:32:54 -0300 |
commit | fc202fd388cce2a771ea1c92513dcdfa7ac43498 (patch) | |
tree | 82db791a063d36aded1a99112960c5c4b6b172d9 | |
parent | Makefile: Generate HTML from Texinfo in "public" target (diff) | |
download | guile-heredoc-fc202fd388cce2a771ea1c92513dcdfa7ac43498.tar.gz guile-heredoc-fc202fd388cce2a771ea1c92513dcdfa7ac43498.tar.xz |
.gitignore: Add public/
-rw-r--r-- | .gitignore | 3 |
1 files changed, 1 insertions, 2 deletions
@@ -1,7 +1,6 @@ /heredoc.log *.go /vendor/ -/FIXME /doc/guile-heredoc.info /doc/guile-heredoc.html -/doc/guile-heredoc.pdf +/public/ |