Changeset [3efb9c4981c146f854db061874aa4864244d775d] by Douglas Creager
April 1st, 2009 @ 10:25 PM
Build documentation when creating Mac OS package
The “make all” target no longer builds the documentation, so that users can build the source without having pandoc installed. That means that our packaging script now needs to build the documentation explicitly. http://github.com/hst/hst/commit...
Committed by Douglas Creager
- M packaging/mac/create-pkg.sh
Create your profile
Help contribute to this project by taking a few moments to create your personal profile. Create your profile »
An open-source refinement checker for the CSP process algebra.