aboutsummaryrefslogtreecommitdiffstats
path: root/resources
diff options
context:
space:
mode:
authorGustav Eek <gustav.eek@fripost.org>2020-06-16 07:45:26 +0200
committerGustav Eek <gustav.eek@fripost.org>2020-06-21 21:41:34 +0200
commit31673b10d7bf3175d5de26734dd934bbbfc4ec18 (patch)
tree7ffebac3d3e69ae0ce6687d4c1a5c37eda3c83bb /resources
parentcf28765285f552845d61f6d5a7897894f7a994b9 (diff)
Minutes May 25, 2020. Makefile and gitinore for completed minutes.
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 *~