org-mode/mk
Marco Wahl be03334a7e Merge branch 'bugfix' into main 2021-12-21 12:13:46 +01:00
..
default.mk Disable cache persistence during build 2021-10-18 20:59:10 +08: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:46 +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