[nongnu] elpa/idris-mode 400c54f 6/8: [ upstream ] Fix documentation and bytecode generation.

[ELPA Syncer]

branch: elpa/idris-mode
commit 400c54fa10daeac364db2dc44448978264aeba04
Author: Jan de Muijnck-Hughes <jan.deMuijnck-Hughes@glasgow.ac.uk>
Commit: Jan de Muijnck-Hughes <jan.deMuijnck-Hughes@glasgow.ac.uk>

    [ upstream ] Fix documentation and bytecode generation.
---
 .gitignore                                  | 11 +++++++++++
 Makefile                                    | 15 +++++++++------
 documentation.tex => docs/documentation.tex |  0
 3 files changed, 20 insertions(+), 6 deletions(-)

diff --git a/.gitignore b/.gitignore
index 759dfbc..1064ee6 100644
--- a/.gitignore
+++ b/.gitignore
@@ -7,3 +7,14 @@ test-data/build/
 test-data/*.ibc
 test-data/idris2-history.eld
 test-data/Empty.idr
+
+docs/*.aux
+docs/*.log
+docs/*.pdf
+docs/auto/
+docs/*.fdb_latexmk
+docs/*.fls
+docs/*.xdv
+
+*.ttc
+*.ttm
diff --git a/Makefile b/Makefile
index a4a1833..df16c3b 100644
--- a/Makefile
+++ b/Makefile
@@ -12,7 +12,7 @@ BATCHEMACS=$(EMACS) --batch --no-site-file -q \
        -eval '(package-initialize)'
 
 BYTECOMP = $(BATCHEMACS) \
-       -eval '(require (quote bytecomp))'
+       -eval '(require (quote bytecomp))' \
        -eval '(setq byte-compile-warnings t)' \
        -eval '(setq byte-compile-error-on-warn t)' \
        -f batch-byte-compile
@@ -61,10 +61,10 @@ test3: getdeps build
                -l ert -l idris-tests3.el -f ert-run-tests-batch-and-exit
 
 clean:
-       -rm -f $(OBJS)
-       -rm -f test-data/*ibc
-       -rm -rf test-data/build/
-
+       -${RM} -f $(OBJS)
+       -${RM} -f test-data/*ibc
+       -${RM} -rf test-data/build/
+       -${RM} -r docs/auto docs/*.aux docs/*.log docs/*.pdf
 getdeps:
        $(BATCHEMACS) -eval \
                "(let* \
@@ -74,4 +74,7 @@ getdeps:
                    (package-refresh-contents) \
                    (mapcar #'package-install want-pkgs)))"
 
-.PHONY: clean build test getdeps
+docs: docs/documentation.tex
+       -@( cd docs/ && latexmk -xelatex documentation.tex )
+
+.PHONY: clean build test getdeps docs
diff --git a/documentation.tex b/docs/documentation.tex
similarity index 100%
rename from documentation.tex
rename to docs/documentation.tex