| .. |
|
default.mk
|
8db21e6cb3
Remove and update Makefiles as contrib/ has been moved out
|
il y a 3 ans |
|
guidesplit.pl
|
064a681303
mk/*pl: Remove type="text/javascript" as it is unnecessary
|
il y a 3 ans |
|
manfull.pl
|
439359bff1
manfull.pl: Avoid silent failures
|
il y a 3 ans |
|
mansplit.pl
|
064a681303
mk/*pl: Remove type="text/javascript" as it is unnecessary
|
il y a 3 ans |
|
org-fixup.el
|
b6c5f028a0
Fix parallel make of docs
|
il y a 2 ans |
|
orgcard2txt.pl
|
8cc992f7b2
Prefer HTTPS to HTTP for links to gnu.org
|
il y a 3 ans |
|
server.mk
|
4779a0df5d
mk/server.mk: Resurrect a simplified version
|
il y a 3 ans |
|
targets.mk
|
8db21e6cb3
Remove and update Makefiles as contrib/ has been moved out
|
il y a 3 ans |
Marco Wahl
b6c5f028a0
Fix parallel make of docs