org-mode/mk
Bastien Guerry 064a681303 mk/*pl: Remove type="text/javascript" as it is unnecessary
* mk/mansplit.pl: Remove type="text/javascript" as it is
unnecessary.

* mk/guidesplit.pl: Ditto.

Reported-by: TEC <tecosaur@gmail.com>
Link: https://orgmode.org/list/874kkkxqma.fsf@gmail.com/
2021-04-30 10:17:06 +02:00
..
default.mk mk/default.mk: Use Emacs manual css for Org online manual 2021-03-24 09:06:09 +01:00
guidesplit.pl mk/*pl: Remove type="text/javascript" as it is unnecessary 2021-04-30 10:17:06 +02:00
manfull.pl Use https for links to orgmode.org 2018-01-19 18:14:58 +01:00
mansplit.pl mk/*pl: Remove type="text/javascript" as it is unnecessary 2021-04-30 10:17:06 +02:00
org-fixup.el Use lexical-binding cookie in some trivial files 2021-01-24 22:36:30 -05:00
orgcard2txt.pl Prefer HTTPS to HTTP for links to gnu.org 2021-03-21 14:29:13 -04:00
server.mk Fix typos 2020-05-13 23:27:49 -04:00
targets.mk mk/targets.mk: Add version fallback for tag-less repos 2021-02-05 01:20:09 -05:00