myplc-docs build from local dtds - more robust, and much faster too
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Wed, 14 May 2008 01:44:39 +0000 (01:44 +0000)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Wed, 14 May 2008 01:44:39 +0000 (01:44 +0000)
commitc4b0a47c394d2196061b8c13a6cd57500accc866
treeafe349453d3e7185040b71ebfad7afb96f3dde1b
parentf74908bc35d176166467ae264c9a7280755cb79a
myplc-docs build from local dtds - more robust, and much faster too
doc/Makefile
doc/PLCAPI.xml.in [moved from doc/PLCAPI.xml with 99% similarity]