Update doc generation script for -h option
commit9903ab265d0cd55e305fba4a5bbf2d38ee42db76
authorGary Burgess <gary.burgess@gmail.com>
dateMon 21 Apr 2014, 21:22 (13 years ago)
parentf09a071
prelude/updateDocs.sh+1−1
@@ -1,4 +1,4 @@
1−../dist/build/docgen/docgen prelude.purs > README.md
1+../dist/build/docgen/docgen --hierarchy-images prelude.purs > README.md
22../dist/build/hierarchy/hierarchy prelude.purs -o prelude
33mkdir -p images
44mkdir -p ../docs/source/images