Updated gitignore for doc

jserot · Nov 14, 2023 · 9e96559 · 9e96559
1 parent 9cb4caa
commit 9e96559
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 1 deletion.
diff --git a/.gitignore b/.gitignore
@@ -13,7 +13,10 @@ config
 config-stamp
 *.dvi
 *.pdf
-!docs/rfsm.pdf
+doc/user_manual/*
+!doc/user_manual/rfsm_um.pdf
+doc/ref_manual/*
+!doc/ref_manual/rfsm_rm.pdf
 *.aux
 *.log
 *.rel

diff --git a/doc/ref_manual/rfsm_rm.pdf b/doc/ref_manual/rfsm_rm.pdf
diff --git a/doc/user_manual/rfsm_um.pdf b/doc/user_manual/rfsm_um.pdf