]> granicus.if.org Git - php/commitdiff
* Add optional dependency to the DTD
authorMartin Jansen <mj@php.net>
Thu, 5 Jun 2003 07:01:20 +0000 (07:01 +0000)
committerMartin Jansen <mj@php.net>
Thu, 5 Jun 2003 07:01:20 +0000 (07:01 +0000)
pear/package.dtd

index e1eff7098f829c2800942f73afa783f57dddbdd2..037b2427c335116155fafe1a376339d346f7cd49 100644 (file)
@@ -1,5 +1,5 @@
 <!--
-     $Id: package.dtd,v 1.31 2003-05-09 12:03:09 derick Exp $
+     $Id: package.dtd,v 1.32 2003-06-05 07:01:20 mj Exp $
 
      This is the PEAR package description, version 1.0.
      It should be used with the informal public identifier:
 
 <!ELEMENT dep (#PCDATA)>
 <!ATTLIST dep
-       type    (pkg|ext|php|prog|ldlib|rtlib|os|websrv|sapi|zend) #REQUIRED
-       rel     (has|eq|lt|le|gt|ge) 'has'
-       version CDATA                #IMPLIED>
+       optional    (yes|no)    'no'
+       type        (pkg|ext|php|prog|ldlib|rtlib|os|websrv|sapi|zend) #REQUIRED
+       rel         (has|eq|lt|le|gt|ge) 'has'
+       version     CDATA                #IMPLIED>
 
 <!ELEMENT provides (#PCDATA)>
 <!ATTLIST provides