Web build: fix more warnings from translations.

diff --git a/website.make b/website.make
index 26efac9cebefb9882208a55869d79a17b7f46d8d..f6da80dea453da8fbfe6e51502282b33f5635c75 100644 (file)
--- a/website.make
+++ b/website.make
@@ -72,9 +72,22 @@ website-xrefs: website-version
                        -I $(top-src-dir)/Documentation/"$$l" \
                        -I $(OUT) -o $(OUT) --split=node \
                        $(top-src-dir)/Documentation/"$$l"/web.texi ;\
+               for m in $(MANUALS); do \
+                       n=`echo "$$m" | sed 's/Documentation/Documentation\/'$$l'/'` ; \
+                       b=`basename "$$n" .texi`; \
+                       d=`basename "$$b" .tely`; \
+                       if [ -e "$$n" ] ; then \
+                               $(EXTRACT_TEXI_FILENAMES) \
+                               -I $(top-src-dir)/Documentation/ \
+                               -I $(top-src-dir)/Documentation/"$$l" \
+                               -I $(top-src-dir)/Documentation/"$$l"/"$$d"/ \
+                               -I $(OUT) -o $(OUT) "$$n" ; \
+                       fi ; \
+               done; \
        done;
 
 
+
 website-texinfo: website-version website-xrefs
        $(TEXI2HTML) --prefix=index \
                --split=section \