55 Commits

Include renames

Author	SHA1	Message	Date
josh	f239b27c3a	add user guide section: Writing the Build Script / configure Block	2019-05-26 19:47:44 -04:00
josh	5e6b83411b	User Guide: clarify Build Correctness section	2019-05-22 23:42:49 -04:00
josh	54e77f235f	finish documentation for command-line operations	2019-05-22 23:31:37 -04:00
josh	0d8aec0eb1	fill in a couple links	2019-05-21 23:36:58 -04:00
josh	573a542f84	add doc/user_guide.md	2019-05-21 23:20:45 -04:00