From 1c1ff6a8c7f725a9a5877f03fc041da70da33800 Mon Sep 17 00:00:00 2001 From: Michael Smith Date: Wed, 27 Jun 2007 11:40:14 +0000 Subject: [PATCH] Made IDs in pi.xml file more unique. --- xsl/docsrc/pi/pi.xml | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/xsl/docsrc/pi/pi.xml b/xsl/docsrc/pi/pi.xml index 00b4f5381..e10760660 100644 --- a/xsl/docsrc/pi/pi.xml +++ b/xsl/docsrc/pi/pi.xml @@ -28,10 +28,10 @@ $Id$ - + HTML PIs - + Following PIs are processed only if you are generating HTML output. This means that you are using HTML, XHTML, HTML Help or JavaHelp output format. @@ -117,10 +117,10 @@ chunk. - + Common PIs - + Following PIs are recognized in all output formats. -- 2.50.1