Avery Pennarun 0ce8ceddcb Run mkdocs only after generating the rest of the doc files. ... This avoids a mkdocs bug where mkdocs will (rarely) see redo temp files in its directory list, but they're gone by the time it tries to open them, so it aborts with an exception.		2018-11-21 20:59:17 -05:00
..
t	Replace pandoc-based md-to-man conversion with a custom python script.	2011-01-29 23:27:23 -08:00
.gitignore	Generate a basic documentation website with the mkdocs toolkit.	2018-11-16 00:50:18 -05:00
all.do	Run mkdocs only after generating the rest of the doc files.	2018-11-21 20:59:17 -05:00
clean.do	Generate a basic documentation website with the mkdocs toolkit.	2018-11-16 00:50:18 -05:00
Contributing.md	Improved documentation.	2018-11-20 09:50:37 -05:00
default.1.do	Change definitions of $1,$2,$3 to match djb's redo.	2011-12-31 02:49:39 -05:00
default.md.tmp.do	Generate a basic documentation website with the mkdocs toolkit.	2018-11-16 00:50:18 -05:00
doc.list.do	Generate a basic documentation website with the mkdocs toolkit.	2018-11-16 00:50:18 -05:00
FAQBasics.md	Refactor the huge README.md into the more structured mkdocs.	2018-11-16 05:22:09 -05:00
FAQImpl.md	Documentation: add link to github search; clarify .do.do question.	2018-11-21 07:11:46 -05:00
FAQInterop.md	Refactor the huge README.md into the more structured mkdocs.	2018-11-16 05:22:09 -05:00
FAQParallel.md	Refactor the huge README.md into the more structured mkdocs.	2018-11-16 05:22:09 -05:00
FAQSemantics.md	Refactor the huge README.md into the more structured mkdocs.	2018-11-16 05:22:09 -05:00
GettingStarted.md	Improved documentation.	2018-11-20 09:50:37 -05:00
git-export.do	Add Documentation/git-{import,export}.do scripts.	2010-12-19 01:05:52 -08:00
git-import.do	Add Documentation/git-{import,export}.do scripts.	2010-12-19 01:05:52 -08:00
index.md	Documentation: add link to github search; clarify .do.do question.	2018-11-21 07:11:46 -05:00
md-to-man.do	Documentation: Fix some markdown formatting bugs.	2018-10-11 05:56:21 -04:00
md2man.py	Replaced all instances of 'python' with 'python2'	2018-11-14 10:52:09 -08:00
mkdocs.do	Move mkdocs.yml into root directory, so readthedocs.org will work.	2018-11-16 01:14:15 -05:00
redo-always.md	Generate a basic documentation website with the mkdocs toolkit.	2018-11-16 00:50:18 -05:00
redo-ifchange.md	Generate a basic documentation website with the mkdocs toolkit.	2018-11-16 00:50:18 -05:00
redo-ifcreate.md	Generate a basic documentation website with the mkdocs toolkit.	2018-11-16 00:50:18 -05:00
redo-log.md	redo-log: add man page.	2018-11-19 19:32:50 -05:00
redo-ood.md	Generate a basic documentation website with the mkdocs toolkit.	2018-11-16 00:50:18 -05:00
redo-sources.md	Generate a basic documentation website with the mkdocs toolkit.	2018-11-16 00:50:18 -05:00
redo-stamp.md	Generate a basic documentation website with the mkdocs toolkit.	2018-11-16 00:50:18 -05:00
redo-targets.md	Generate a basic documentation website with the mkdocs toolkit.	2018-11-16 00:50:18 -05:00
redo-whichdo.md	Generate a basic documentation website with the mkdocs toolkit.	2018-11-16 00:50:18 -05:00
redo.md	redo-log: add man page.	2018-11-19 19:32:50 -05:00