org-mode/mk
Max Nikulin 439359bff1 manfull.pl: Avoid silent failures
* mk/manfull.pl: Report failures of patching of single-page HTML
manuals.

It should prevent silent generating of manual pages inconsistent with
provided CSS files when output of makeinfo will change next time.
2021-10-02 19:12:28 +02: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 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 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