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)
commitb7b6947343979fdb038df4d4db1af55005d818ce
tree0730e3e530f2a40f68f14342bdb5b1d3e5692a97
parent35cf16b60eaf0d16c0219e07434a92a2240cb6e4
myplc-docs build from local dtds - more robust, and much faster too
onelab.mk
planetlab.mk