From 9ef216b0c5d7bdb04e1d726c280fc576a1642e55 Mon Sep 17 00:00:00 2001 From: Simon Large Date: Thu, 23 Jul 2020 15:39:54 +0100 Subject: [PATCH] Update .gitignore Ignore generated manual files --- .gitignore | 2 ++ 1 file changed, 2 insertions(+) diff --git a/.gitignore b/.gitignore index e4304a437..5ee9140bc 100644 --- a/.gitignore +++ b/.gitignore @@ -108,3 +108,5 @@ man/manual.tex .idea /.metadata/ cmake-* +man/manual.pdf +man/manual.html