summaryrefslogtreecommitdiffstats
path: root/docs/make.bat
diff options
context:
space:
mode:
authorNao Pross <naopross@thearcway.org>2016-12-20 11:03:25 +0100
committerNao Pross <naopross@thearcway.org>2016-12-20 11:03:25 +0100
commit004ffbe26deb7635978d854180d4415e5b9e3999 (patch)
tree2ab345e5f8f33830ab02841ac3a725d878158c7f /docs/make.bat
parentrewritten introduction & smaller edits (diff)
downloadPDI-004ffbe26deb7635978d854180d4415e5b9e3999.tar.gz
PDI-004ffbe26deb7635978d854180d4415e5b9e3999.zip
renamed 'docs' to 'doc'
Diffstat (limited to 'docs/make.bat')
-rw-r--r--docs/make.bat4
1 files changed, 0 insertions, 4 deletions
diff --git a/docs/make.bat b/docs/make.bat
deleted file mode 100644
index 93cbbcc..0000000
--- a/docs/make.bat
+++ /dev/null
@@ -1,4 +0,0 @@
-lualatex --output-directory=build pdi.tex
-bibtex build/pdi.aux
-lualatex --output-directory=build pdi.tex
-lualatex --output-directory=build pdi.tex