# HG changeset patch
# User diego
# Date 1066237225 0
# Node ID c90317724a1db8ded4eb202bb2bfbb1b29d8f2da
# Parent  9a941857969a8699ae5df03c5d725043e53622e6
Also build Polish documentation.

diff -r 9a941857969a -r c90317724a1d DOCS/xml/Makefile
--- 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