diff options
Diffstat (limited to 'iadocs')
| -rw-r--r-- | iadocs/.gitignore | 5 | ||||
| -rw-r--r-- | iadocs/Makefile | 13 |
2 files changed, 0 insertions, 18 deletions
diff --git a/iadocs/.gitignore b/iadocs/.gitignore deleted file mode 100644 index 1c7499e..0000000 --- a/iadocs/.gitignore +++ /dev/null @@ -1,5 +0,0 @@ -*.pdf -*.log -*.aux -*.toc -*.out 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 $@) $@ |