diff options
author | Nicolas Goaziou <mail@nicolasgoaziou.fr> | 2018-05-09 02:23:10 +0200 |
---|---|---|
committer | Nicolas Goaziou <mail@nicolasgoaziou.fr> | 2018-05-09 02:23:10 +0200 |
commit | c87d70439bd34eddbd449e46ca568c01b4988d21 (patch) | |
tree | a9721b51410507f7eeea07722a93c6500f30113a | |
parent | d4a8e3de840c6d90c6c7976e101eb78729516e88 (diff) | |
download | org-mode-c87d70439bd34eddbd449e46ca568c01b4988d21.tar.gz |
"make doc" generate "org.texi"
* doc/Makefile (org.texi): New rule.
* mk/org-fixup.el (org-make-manuals): New function.
-rw-r--r-- | doc/Makefile | 6 | ||||
-rw-r--r-- | mk/org-fixup.el | 7 |
2 files changed, 13 insertions, 0 deletions
diff --git a/doc/Makefile b/doc/Makefile index e17d441..c37c801 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -27,6 +27,12 @@ guide:: orgguide.texi org-version.inc ../mk/guidesplit.pl $@/* endif +org.texi: + $(BATCH) \ + --eval '(add-to-list '"'"'load-path "../lisp")' \ + --eval '(load "../mk/org-fixup.el")' \ + --eval '(org-make-manuals)' + org-version.inc: org.texi @echo "org-version: $(ORGVERSION) ($(GITVERSION))" @echo "@c automatically generated, do not edit" > org-version.inc diff --git a/mk/org-fixup.el b/mk/org-fixup.el index 7691c73..d2bdf9c 100644 --- a/mk/org-fixup.el +++ b/mk/org-fixup.el @@ -27,6 +27,13 @@ (require 'autoload) (require 'org-compat "org-compat.el") +(defun org-make-manuals () + "Generate the Texinfo files out of Org manuals." + (require 'ox-texinfo) + (dolist (manual '("../doc/org-manual.org")) + (find-file manual) + (org-texinfo-export-to-texinfo))) + (defun org-make-org-version (org-release org-git-version odt-dir) "Make the file org-version.el in the current directory. This function is internally used by the build system and should |