org-mode/mk
Marco Wahl b6c5f028a0 Fix parallel make of docs
* doc/Makefile: Split multiple target "org.texi orgguide.texi".
* mk/org-fixup.el (org-make-manual, org-make-guide):  New functions.
  (org-make-manuals): Make obsolete.

Reported by Ulrich Müller.  https://list.orgmode.org/uee67gr96@gentoo.org/
2021-12-21 12:12:21 +01:00
..
default.mk Remove and update Makefiles as contrib/ has been moved out 2021-09-29 10:08:20 +02:00
guidesplit.pl mk/*pl: Remove type="text/javascript" as it is unnecessary 2021-04-30 10:17:06 +02:00
manfull.pl manfull.pl: Avoid silent failures 2021-10-02 19:12:28 +02:00
mansplit.pl mk/*pl: Remove type="text/javascript" as it is unnecessary 2021-04-30 10:17:06 +02:00
org-fixup.el Fix parallel make of docs 2021-12-21 12:12:21 +01:00
orgcard2txt.pl Prefer HTTPS to HTTP for links to gnu.org 2021-03-21 14:29:13 -04:00
server.mk mk/server.mk: Resurrect a simplified version 2021-09-29 14:54:30 +02:00
targets.mk Remove and update Makefiles as contrib/ has been moved out 2021-09-29 10:08:20 +02:00