git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@6871 3260e6d1-4efc-4170-b0a7-36055960796d
This commit is contained in:
parent
8a4a442889
commit
ad52823055
|
@ -40,12 +40,17 @@
|
||||||
# $Id: AVL_test.thy 40058 2007-06-29 21:40:20Z brucker $
|
# $Id: AVL_test.thy 40058 2007-06-29 21:40:20Z brucker $
|
||||||
|
|
||||||
DATE=$(shell date)
|
DATE=$(shell date)
|
||||||
|
BOTTOM="generated on $(DATE)"
|
||||||
|
|
||||||
.PHONY: doc apidoc tags
|
.PHONY: doc apidoc tags
|
||||||
|
|
||||||
doc:
|
doc:
|
||||||
smldoc --directory=doc --linksource --showsummary \
|
smldoc --directory=doc --linksource --showsummary \
|
||||||
--overview=doc/overview.html \
|
--overview=doc/overview.html \
|
||||||
|
--bottom=$(BOTTOM)\
|
||||||
|
-c utf8 \
|
||||||
|
--linksource\
|
||||||
|
--listsubmodule\
|
||||||
--windowtitle="SU4SML_Documentation ($(DATE))" \
|
--windowtitle="SU4SML_Documentation ($(DATE))" \
|
||||||
`find src -name "*.sml" -or -name "*.sig"`
|
`find src -name "*.sml" -or -name "*.sig"`
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue