add coqdoc calls to Makefile
authoradam <adam@megacz.com>
Sun, 28 Oct 2007 22:42:57 +0000 (22:42 +0000)
committeradam <adam@megacz.com>
Sun, 28 Oct 2007 22:42:57 +0000 (22:42 +0000)
commitc8ca325619c326ce74ed4d4515ae38c6e92d1579
tree79db38751b2e416506eb9cc03076ae74f547273a
parent9ce6a85d86cdc3a5bba1f5c3cd153cdc046f10b9
add coqdoc calls to Makefile

darcs-hash:20071028224257-5007d-cdad392e26476792a22948a42fd9082fac15c502.gz
Makefile