From 353ca5e3bd4e6f460a53c06b896694a83e44a8a3 Mon Sep 17 00:00:00 2001 From: albert-github Date: Sun, 18 Aug 2013 11:12:16 +0200 Subject: During documentation generation some extra files are generated that are not intended for git --- .gitignore | 3 +++ 1 file changed, 3 insertions(+) diff --git a/.gitignore b/.gitignore index 7653f35..4abda47 100644 --- a/.gitignore +++ b/.gitignore @@ -73,3 +73,6 @@ /doc/Makefile /doc/translator_report.txt +/examples/*/html +/html +/latex -- cgit v0.12