+etc/make-html.sh xml/index.txt index:
+ @echo " GENERATING INDEXES"
+ $(H)find xml -name "*.ld.xml" | sed s/.xml//g | sed s/xml/ld:/g > xml/index.txt
+ $(H)sed "s/^/make --no-print-directory /" xml/index.txt | sed s.ld:/.. > etc/make-html.sh
+
+html: etc/make-html.sh
+ @echo " MAKE */*.ld"
+ $(H). $<
+
+test-html:
+ @$(MAKE) --no-print-directory $(XMLS:xml/%.xml=%)