Ciaran Gultnieks 715035a707 Introduce disable= as a better way of disabling a build ...

Prefixing commit ID with ! and a message will still work, but that's
very silly. Using disable= is now the correct way.

2013-10-26 10:28:12 +01:00

..

.gitignore

Manual in lots of formats

2012-02-25 08:30:43 +00:00

fdl.texi

Move docs to docs directory, and generate HTML

2012-02-23 14:32:35 +00:00

fdroid.texi

Introduce disable= as a better way of disabling a build

2013-10-26 10:28:12 +01:00

gendocs_template

Manual in lots of formats

2012-02-25 08:30:43 +00:00

gendocs.sh

Manual in lots of formats

2012-02-25 08:30:43 +00:00

update.sh

Docs for importing

2012-02-27 20:38:00 +00:00