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