clean generated tex files

diff --git a/src/Makefile b/src/Makefile
index 2a1b7b7..79584c9 100644 (file)
--- a/src/Makefile
+++ b/src/Makefile
@@ -42,5 +42,6 @@ clean:
             applied-crypto-hardening.blg applied-crypto-hardening.dvi   \
             applied-crypto-hardening.log applied-crypto-hardening.pdf   \
             applied-crypto-hardening.toc applied-crypto-hardening.markdown
+       find . -name "*_generated.tex" -exec rm \{\} \;
        rm -rf applied-crypto-hardening/
        rm -rf gitHeadInfo.gin