remove pdf builds from repo

StijnCaerts · Jul 21, 2021 · da65b98 · da65b98
1 parent a9e9ec7
commit da65b98
Show file tree

Hide file tree

Showing 3 changed files with 1 addition and 1 deletion.
diff --git a/.gitignore b/.gitignore
@@ -20,7 +20,7 @@
 # these rules might exclude image files for figures etc.
 # *.ps
 # *.eps
-# *.pdf
+*.pdf
 
 ## Generated if empty string is given at "Please type another file name for output:"
 .pdf

diff --git a/en/main.pdf b/en/main.pdf
diff --git a/nl/main.pdf b/nl/main.pdf
-Original file line number
+Diff line change
@@ Expand Up / @@ -20,7 +20,7 @@ @@
     # these rules might exclude image files for figures etc.
     # *.ps
     # *.eps
-    # *.pdf
+    *.pdf
     ## Generated if empty string is given at "Please type another file name for output:"
     .pdf
@@ Expand Down @@