Changeset [3a314e60cf2d537f35e84525795c09725d667ede] by Douglas Creager

February 7th, 2009 @ 12:22 AM

Removing “doc” target from “make all”

This patch changes the build rules so that the documentation is not automatically generated for you. (This allows you to compile the source without having the asciidoc tool installed, for instance.) http://github.com/hst/hst/commit...

Committed by Douglas Creager

  • M INSTALL
  • M doc/CMakeLists.txt
New-ticket Create new ticket

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.