summaryrefslogtreecommitdiffstats
path: root/doc/makefile
diff options
context:
space:
mode:
Diffstat (limited to 'doc/makefile')
-rw-r--r--doc/makefile19
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