From e66c27a4da78d572a9427214a59d5d85dbb7b148 Mon Sep 17 00:00:00 2001 From: "John J. Camilleri" Date: Mon, 3 Dec 2018 15:39:38 +0100 Subject: [PATCH] Add a few HTML files to gitignore --- doc/.gitignore | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/doc/.gitignore b/doc/.gitignore index 0e49bf9f2..5cfbeb4be 100644 --- a/doc/.gitignore +++ b/doc/.gitignore @@ -7,3 +7,7 @@ synopsis/categories-imagemap.html synopsis/categories.png gfdoc/sources.html + +rgl-publications.html +status.html +translation.html