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)
commit5cd33df79bf202ab285cf83cafd0c679927022d9
tree5f5a0c91d9ff2ab140fd086868af32466942ffa9
parent1c93cb056ebcf301e6be41e37ed9ec0fdaf52022
myplc-docs build from local dtds - more robust, and much faster too
doc/Makefile
doc/NMAPI.xml.in [moved from doc/NMAPI.xml with 98% similarity]