From 7bbb292aa3827fe348927d2d7d473d88a5cd4929 Mon Sep 17 00:00:00 2001 From: Aaron Kaplan Date: Mon, 16 Dec 2013 22:43:08 +0100 Subject: [PATCH] clean generated tex files --- src/Makefile | 1 + 1 file changed, 1 insertion(+) diff --git a/src/Makefile b/src/Makefile index 2a1b7b7..79584c9 100644 --- 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 -- 2.20.1