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