# HG changeset patch
# User diego
# Date 1065578459 0
# Node ID 4dc3149f5b747252c19b58050f4bf2efd72d9dae
# Parent  7d0ec299152222c63f5be3bbab7393ff634962b8
Support for building incomplete translations.
Patch by Dmitry Baryshkov <mitya@school.ioffe.ru>.

diff -r 7d0ec2991522 -r 4dc3149f5b74 DOCS/xml/Makefile
--- a/DOCS/xml/Makefile	Wed Oct 08 01:40:57 2003 +0000
+++ b/DOCS/xml/Makefile	Wed Oct 08 02:00:59 2003 +0000
@@ -1,7 +1,7 @@
 # Makefile for generating the HTML documentation
 
 # List of subdirectories to be processed.
-SUBDIRS = en fr
+SUBDIRS = en fr es ru
 
 # Generated HTML files go here.
 HTML_TOP = ../HTML
@@ -22,10 +22,10 @@
 .PHONY: build-html
 build-html: xsltproc.sh
 	test -d $(HTML_TOP) || mkdir $(HTML_TOP)
-	for d in $(SUBDIRS); do\
-		test -f $$d/Makefile &&\
-		(test -d $(HTML_TOP)/$$d || mkdir $(HTML_TOP)/$$d) &&\
-		if $(MAKE) HTMLDIR=../$(HTML_TOP)/$$d -C $$d; then :; else exit 1; fi;\
+	for dir in $(SUBDIRS); do\
+		test -f $$dir/Makefile &&\
+		(test -d $(HTML_TOP)/$$dir || mkdir $(HTML_TOP)/$$dir) &&\
+		if $(MAKE) HTMLDIR=../$(HTML_TOP)/$$dir -C $$dir; then :; else exit 1; fi;
 	done
 
 .PHONY: clean-html
@@ -34,6 +34,10 @@
 
 .PHONY: distclean
 distclean: clean-html
+	for dir in $(SUBDIRS); do\
+		test -f $$dir/Makefile &&\
+		if $(MAKE) HTMLDIR=../$(HTML_TOP)/$$dir -C $$dir distclean ; then :; else exit 1; fi;
+	done
 	-rm -f html.xsl xsltproc.sh xmllint.sh
 
 xsltproc.sh: configure
diff -r 7d0ec2991522 -r 4dc3149f5b74 DOCS/xml/Makefile.inc
--- a/DOCS/xml/Makefile.inc	Wed Oct 08 01:40:57 2003 +0000
+++ b/DOCS/xml/Makefile.inc	Wed Oct 08 02:00:59 2003 +0000
@@ -17,6 +17,7 @@
 # This is the main target...
 $(HTMLDIR)/index.html: documentation.xml $(XSL_DEPS)
 	@if test "$(HTMLDIR)" = "" ; then echo "Error: HTMLDIR not set!!!"; echo "Typically this means, that you've run make from subdir of DOCS/xml. Don't do this!" ; false; fi
+	if test "$(USE_SYMLINKS)" = "yes" ; then for file in ../en/*.xml ; do if ! test -r `basename $$file` ; then ln -s $$file `basename $$file` ; fi ; done ; fi
 	-rm -f $(HTMLDIR)/*
 	../xmllint.sh $<
 	cp $(HTML_STYLESHEET) $(HTMLDIR)/
@@ -24,3 +25,6 @@
 
 ../html.xsl:
 	cd .. && sh configure
+
+distclean:
+	if test "$(USE_SYMLINKS)" = "yes" ; then for file in *.xml ; do if test -L $$file && test "`readlink $$file`" = "../en/$$file" ; then rm $$file ; fi ; done ; fi
diff -r 7d0ec2991522 -r 4dc3149f5b74 DOCS/xml/en/Makefile
--- a/DOCS/xml/en/Makefile	Wed Oct 08 01:40:57 2003 +0000
+++ b/DOCS/xml/en/Makefile	Wed Oct 08 02:00:59 2003 +0000
@@ -3,5 +3,8 @@
 # Set if you are using your own HTML stylesheet...
 #HTML_STYLESHEET = mystyle.css
 
+# Change to yes to enable symlinking missing files to English master versions
+USE_SYMLINKS = no
+
 # Dependency information.
 $(HTMLDIR)/index.html: $(wildcard *.xml)
diff -r 7d0ec2991522 -r 4dc3149f5b74 DOCS/xml/es/Makefile
--- a/DOCS/xml/es/Makefile	Wed Oct 08 01:40:57 2003 +0000
+++ b/DOCS/xml/es/Makefile	Wed Oct 08 02:00:59 2003 +0000
@@ -3,5 +3,8 @@
 # Set if you are using your own HTML stylesheet...
 #HTML_STYLESHEET = mystyle.css
 
+# Change to yes to enable symlinking missing files to English master versions
+USE_SYMLINKS = yes
+
 # Dependency information.
 $(HTMLDIR)/index.html: $(wildcard *.xml)
diff -r 7d0ec2991522 -r 4dc3149f5b74 DOCS/xml/fr/Makefile
--- a/DOCS/xml/fr/Makefile	Wed Oct 08 01:40:57 2003 +0000
+++ b/DOCS/xml/fr/Makefile	Wed Oct 08 02:00:59 2003 +0000
@@ -3,5 +3,8 @@
 # Set if you are using your own HTML stylesheet...
 #HTML_STYLESHEET = mystyle.css
 
+# Change to yes to enable symlinking missing files to English master versions
+USE_SYMLINKS = no
+
 # Dependency information.
 $(HTMLDIR)/index.html: $(wildcard *.xml)
diff -r 7d0ec2991522 -r 4dc3149f5b74 DOCS/xml/ru/Makefile
--- a/DOCS/xml/ru/Makefile	Wed Oct 08 01:40:57 2003 +0000
+++ b/DOCS/xml/ru/Makefile	Wed Oct 08 02:00:59 2003 +0000
@@ -3,5 +3,8 @@
 # Set if you are using your own HTML stylesheet...
 #HTML_STYLESHEET = mystyle.css
 
+# Change to yes to enable symlinking missing files to English master versions
+USE_SYMLINKS = yes
+
 # Dependency information.
 $(HTMLDIR)/index.html: $(wildcard *.xml)