diff options
Diffstat (limited to 'resources')
| -rw-r--r-- | resources/Makefile-common | 6 |
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 *~ |