[PHP-DOC] cvs: phpdoc / manual.xml.in

[Friedhelm Betz]

betz            Sat Dec 20 03:12:13 2003 EDT

  Modified files:              
    /phpdoc     manual.xml.in 
  Log:
  copy of opl license as appendix
  
  
Index: phpdoc/manual.xml.in
diff -u phpdoc/manual.xml.in:1.156 phpdoc/manual.xml.in:1.157
--- phpdoc/manual.xml.in:1.156  Tue Nov  4 08:26:53 2003
+++ phpdoc/manual.xml.in        Sat Dec 20 03:12:12 2003
@@ -253,6 +253,7 @@
   &appendices.comparisons;
   &appendices.tokens;
   &appendices.about;
+  &appendices.license;
   &global.function-index;
   &missing-ids;
  </part>