Avery Pennarun 1966a0fac7 If using --log or -j > 1, disable stdin. ... Parallelism and redo-log cause lots of confusion for any rules that try to ask the user for questions, so disable it altogether. Arguably, we should just disable stdin all the time, but maybe it's still occasionally useful (even though you have to pass --no-log to get it back).		2018-12-02 22:57:04 -05:00
..
cookbook	Docs/cookbook: add an R + latex example.	2018-11-28 17:33:03 -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	Docs/cookbook: build from toplevel 'test' instead of toplevel 'all'.	2018-11-28 12:55:49 -05:00
clean.do	Cookbook: add an example of using default.do for text processing.	2018-11-26 15:24:41 -05:00
Contributing.md	Even more doc cleanups.	2018-11-26 17:45:16 -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
extra_style.css	Docs: format inline <code> blocks better.	2018-11-29 14:59:38 -05:00
FAQBasics.md	Even more doc cleanups.	2018-11-26 17:45:16 -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
fetchcode.js	Cookbook: add an example of using default.do for text processing.	2018-11-26 15:24:41 -05:00
GettingStarted.md	First cookbook example for the docs: Hello World in C.	2018-11-24 14:36:02 -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	Even more doc cleanups.	2018-11-26 17:45:16 -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	If using --log or -j > 1, disable stdin.	2018-12-02 22:57:04 -05:00
test.do	Docs/cookbook: build from toplevel 'test' instead of toplevel 'all'.	2018-11-28 12:55:49 -05:00