$(top-src-dir)/Documentation/"$$l"/web.texi ;\
for m in $(MANUALS); do \
n=`echo "$$m" | sed 's/Documentation/Documentation\/'$$l'/'` ; \
$(top-src-dir)/Documentation/"$$l"/web.texi ;\
for m in $(MANUALS); do \
n=`echo "$$m" | sed 's/Documentation/Documentation\/'$$l'/'` ; \