diff --git a/doc/.gitignore b/doc/.gitignore index bc7ce2a..bdc92f1 100644 --- a/doc/.gitignore +++ b/doc/.gitignore @@ -2,5 +2,7 @@ /download.html /helper.1 /helper.html +/htmlapp.1 +/htmlapp.html /surfer.1 /surfer.html