Include images for online documentation
commit6dc044178fa99e0cdef72017b6a3f00390bc8590
authorPhil Freeman <paf31@cantab.net>
dateTue 15 Apr 2014, 10:49 (13 years ago)
parent6be33d5
docs/source/images/Prelude.pngnew file
Binary file not shown.
prelude/updateDocs.sh+2
@@ -1,9 +1,11 @@
11../dist/build/docgen/docgen prelude.purs > README.md
22../dist/build/hierarchy/hierarchy prelude.purs -o prelude
33mkdir -p images
4+mkdir -p ../docs/source/images
45for f in prelude/*; do
56 BASE=$(basename "$f")
67 dot -Tpng -o images/"$BASE".png "$f"
8+ cp images/"$BASE".png ../docs/source/images/"$BASE".png
79done
810rm -r prelude
911pandoc -o ../docs/source/prelude.rst README.md