7 commits

Author	SHA1	Message	Date
Joao Sa	9b94146c9f	Fix build scripts on paths with spaces	2018-09-30 15:25:14 +00:00
Oliver Blanthorn	b8e9d4a088	Remove global dependency on nearley,typedoc,marked	2018-05-28 10:22:17 +01:00
glacambre	fb2d36884a	Create typedoc theme	2018-05-01 10:56:15 +02:00
Colin Caine	56da023ee6	build: Fix make_docs on some shells	2017-11-27 19:59:43 +00:00
Colin Caine	71484e9873	excmds: documentation and minor changes	2017-11-19 06:16:33 +00:00
Colin Caine	a0a29aec27	build: Fix build break when make_docs is slow	2017-11-09 05:54:10 +00:00
Colin Caine	7697072be1	build: Move scripts out. Make generated files obv. ... To speed up builds, typedoc is now run in the background, which means that the build won't fail if typedoc fails.	2017-11-08 18:13:40 +00:00