diff options
Diffstat (limited to '')
-rw-r--r-- | doc/makefile | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/doc/makefile b/doc/makefile deleted file mode 100644 index 50cc4fc..0000000 --- a/doc/makefile +++ /dev/null @@ -1,19 +0,0 @@ -BUILD_DIR := build -TEX := xelatex \ - -interaction=nonstopmode \ - -halt-on-error \ - -output-directory=$(BUILD_DIR) - -.PHONY: dir doc diario -all: doc diario - cp $(BUILD_DIR)/diario.pdf . - cp $(BUILD_DIR)/xilofono.pdf . - -doc: dir - $(TEX) xilofono.tex - -diario: dir - $(TEX) diario.tex - -dir: - mkdir -p build |