| .. |
|
default.mk
|
8db21e6cb3
Remove and update Makefiles as contrib/ has been moved out
|
пре 4 година |
|
guidesplit.pl
|
064a681303
mk/*pl: Remove type="text/javascript" as it is unnecessary
|
пре 4 година |
|
manfull.pl
|
439359bff1
manfull.pl: Avoid silent failures
|
пре 4 година |
|
mansplit.pl
|
064a681303
mk/*pl: Remove type="text/javascript" as it is unnecessary
|
пре 4 година |
|
org-fixup.el
|
b6c5f028a0
Fix parallel make of docs
|
пре 3 година |
|
orgcard2txt.pl
|
8cc992f7b2
Prefer HTTPS to HTTP for links to gnu.org
|
пре 4 година |
|
server.mk
|
dd3c1e1284
mk/server.mk: Include cards
|
пре 3 година |
|
targets.mk
|
8db21e6cb3
Remove and update Makefiles as contrib/ has been moved out
|
пре 4 година |
Bastien
dd3c1e1284
mk/server.mk: Include cards