aboutsummaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorMohammad Akhlaghi <mohammad@akhlaghi.org>2020-02-01 23:25:25 +0100
committerMohammad Akhlaghi <mohammad@akhlaghi.org>2020-02-01 23:25:25 +0100
commit310f254ee1557824174e0327eb10120cd7377385 (patch)
tree236346c10058b8622bb70d601798a1c7e9bccd79 /Makefile
parent61c2050ec1b6362b179e547f2870af1ade435daf (diff)
Added principles before starting to describe the solution
Until now, there wasn't any good transition onto the project, so the principles have now been added.
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 55ef6b2..dd4171b 100644
--- a/Makefile
+++ b/Makefile
@@ -23,7 +23,7 @@ reproducible-paper.pdf: reproducible-paper.tex tex/*.tex
else v=NO-GIT; fi; \
echo "\newcommand{\gitcommit}{$$v}" > git-commit.tex
pdflatex reproducible-paper
- pdflatex reproducible-paper
+# pdflatex reproducible-paper
# Clean all extra files
.PHONY: clean-latex clean