diff options
Diffstat (limited to '2018/Makefile')
| -rw-r--r-- | 2018/Makefile | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/2018/Makefile b/2018/Makefile index 8f38a8d..6c4317d 100644 --- a/2018/Makefile +++ b/2018/Makefile @@ -18,7 +18,7 @@ annual-job = 2018-05-06-annual annual-tex = \ 2018-05-06-annual \ ../annual-reports/annual-report-2018 \ - ../by-laws/operational-policy-2018 \ + operational-policy-2018_ \ ../operational-plans/operational-plan-2018 annual-pdf = \ ../annual-reports/economical-report-2018 \ @@ -28,7 +28,8 @@ $(annual-job): $(addsuffix .pdf, $(annual-pdf)) $(addsuffix .pdf, $(annual-pdf)): make -C ../annual-reports $(notdir $@) - +operational-policy-2018_.tex: ../by-laws/operational-policy-2018.tex + sed -e "s/\\\(.*\)section\*{/\\sub\1section{/g" < $< > $@ send: make -f $(common-makefile) send SEND_FILES="$(MINUTES)" |