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