diff options
Diffstat (limited to 'iadocs/Makefile')
-rw-r--r-- | iadocs/Makefile | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/iadocs/Makefile b/iadocs/Makefile deleted file mode 100644 index 17277a0..0000000 --- a/iadocs/Makefile +++ /dev/null @@ -1,13 +0,0 @@ -.PHONY: iadocs - -iadocs: ../dist/iadocs/cover_page.htm ../dist/iadocs/crita_planning.pdf ../dist/iadocs/critb_design.pdf ../dist/iadocs/critb_recordoftasks.pdf ../dist/iadocs/critc_development.pdf ../dist/iadocs/critd_functionality.pdf ../dist/iadocs/crite_evaluation.pdf ../dist/iadocs/appendix.pdf - -../dist/iadocs/%.htm: %.htm - mkdir -p ../dist/iadocs - cp $< $@ - -../dist/iadocs/%.pdf: %.tex header.inc - mkdir -p ../dist/iadocs - lualatex $< - lualatex $< - mv $$(basename $@) $@ |