aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorXiao Hanyu <xiaohanyu1988@gmail.com>2013-09-12 23:17:51 +0800
committerXiao Hanyu <xiaohanyu1988@gmail.com>2013-09-12 23:17:51 +0800
commitf50814a73236a6a3e633d5eb5e6ab7cd7fa4219f (patch)
tree114d249e695d2f23f85125fac82824566dac4a1f
parent4d03c452dcf1e2e97bf1d83ceb124ff55cee8443 (diff)
Refactor makefile doc target.
- "make pdf" needs texi2pdf, which is owned by texlive, but texlive is huge, typically several hundreds megabytes, not all users install texlive - "make info" should just make make info, and the info documentation is enough in many cases.
-rw-r--r--Makefile4
1 files changed, 3 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 5ad1723..96fdde7 100644
--- a/Makefile
+++ b/Makefile
@@ -34,7 +34,9 @@ compile-batch: clean
$(EMACS) --batch -Q -L . $(LIBS) -f batch-byte-compile ${FILES}
# Documentation.
-info: clean pdf
+doc: info pdf
+
+info: clean
cd $(DOC) && makeinfo evil.texi
pdf: clean