changeset 11130:c90317724a1d

Also build Polish documentation.
author diego
date Wed, 15 Oct 2003 17:00:25 +0000
parents 9a941857969a
children 8b2d7d006bdd
files DOCS/xml/Makefile
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/DOCS/xml/Makefile	Wed Oct 15 16:50:27 2003 +0000
+++ b/DOCS/xml/Makefile	Wed Oct 15 17:00:25 2003 +0000
@@ -1,7 +1,7 @@
 # Makefile for generating the HTML documentation
 
 # List of subdirectories to be processed.
-SUBDIRS = en fr es ru
+SUBDIRS = en fr es ru pl
 
 # Generated HTML files go here.
 HTML_TOP = ../HTML