aboutsummaryrefslogtreecommitdiffstats
path: root/resources
diff options
context:
space:
mode:
Diffstat (limited to 'resources')
-rw-r--r--resources/Makefile-common6
1 files changed, 6 insertions, 0 deletions
diff --git a/resources/Makefile-common b/resources/Makefile-common
index c64793f..ce35c92 100644
--- a/resources/Makefile-common
+++ b/resources/Makefile-common
@@ -48,6 +48,12 @@ $(output): $(input) $(preamble) $(files-tex) $(files-jpg) $(files-pdf)
latex_count=`expr $$latex_count - 1`;\
done;
+# Special treatment of minutes complemented with secrets
+%-complete.tex: %.tex %.sed.gpg
+ gpg --decrypt < $(subst .tex,.sed.gpg,$<) > $(subst .tex,_.sed,$<)
+ sed -f $(subst .tex,_.sed,$<) < $< > $@
+ rm -f $(subst .tex,_.sed,$<)
+
# Clean up
clean:
rm -f *.aux *.bbl *.dvi *.log *.nav *.out *.snm *.toc *~