check *.md & *.pdf separately

katrinleinweber · Jun 14, 2016 · 90277d3 · 90277d3
1 parent 75c654d
commit 90277d3
Show file tree

Hide file tree

Showing 4 changed files with 10 additions and 2 deletions.
diff --git a/.gitignore b/.gitignore
@@ -41,3 +41,4 @@ helper-*.*
 test-*.md
 thesis-data.txt
 *-to.txt
+thesis-*.txt
diff --git a/CHECKS-MD b/CHECKS-MD
@@ -0,0 +1 @@
+\.\s{2}
diff --git a/CHECKS → CHECKS-PDF b/CHECKS → CHECKS-PDF
diff --git a/makefile b/makefile
@@ -85,16 +85,22 @@ print:
 	pdftk core-10-title.pdf core-11-empty.pdf thesis.pdf cat output thesis-print.pdf # learned from https://www.linux.com/learn/tutorials/442414
 
 check: # learned from http://stackoverflow.com/a/694125
-	# [ ] find correct syntax for --regexp (here or in CHECKS), see https://www.gnu.org/software/grep/manual/grep.html#Matching-Control
 	# [ ] call after make pdf & print or before doc
 	pdftotext thesis-test.pdf thesis-test-to.txt
 	pdftotext thesis.pdf thesis-to.txt
+	cat core-*.md | \
+	grep \
+		--ignore-case \
+		--color \
+		--extended-regexp \
+		--file=CHECKS-MD
+
 	cat *-to.txt | \
 	grep \
 		--ignore-case \
 		--color \
 		--extended-regexp \
-		--file=CHECKS
+		--file=CHECKS-PDF
 
 epub:
 	pandoc \