cvs: phpdoc /en/faq build.xml html.xml

didou Tue Sep 30 04:41:52 2003 EDT Modified files: /phpdoc/en/faq build.xml html.xml Log: adding role when needed Index: phpdoc/en/faq/build.xml diff -u phpdoc/en/faq/build.xml:1.27 phpdoc/en/faq/build.xml:1.28 --- phpdoc/en/faq/build.xml:1.27 Fri Jul 18 15:16:58 2003 +++ phpdoc/en/faq/build.xml Tue Sep 30 04:41:52 2003 @@ -1,5 +1,5 @@ <?xml version="1.0" encoding="iso-8859-1"?> -<!-- $Revision: 1.27 $ --> +<!-- $Revision: 1.28 $ --> <chapter id="faq.build"> <title>Build Problems</title> <titleabbrev>Build Problems</titleabbrev> @@ -491,7 +491,7 @@ <para> Either you look at config.nice file, in the source tree of your current PHP installation or, if this is not available, you simply run a - <programlisting> + <programlisting role="php"> <![CDATA[ <?php phpinfo(); ?> ]]> Index: phpdoc/en/faq/html.xml diff -u phpdoc/en/faq/html.xml:1.22 phpdoc/en/faq/html.xml:1.23 --- phpdoc/en/faq/html.xml:1.22 Sun Aug 17 15:09:25 2003 +++ phpdoc/en/faq/html.xml Tue Sep 30 04:41:52 2003 @@ -1,5 +1,5 @@ <?xml version="1.0" encoding="iso-8859-1"?> -<!-- $Revision: 1.22 $ --> +<!-- $Revision: 1.23 $ --> <chapter id="faq.html"> <title>PHP and HTML</title> <titleabbrev>PHP and HTML</titleabbrev> @@ -295,7 +295,7 @@ the client side. </para> <para> - <programlisting> + <programlisting role="php"> <![CDATA[ <?php if (isset($_GET['width']) AND isset($_GET['height'])) {