updated html doc

diff --git a/cfg.mk b/cfg.mk
index 9e71e3fa20a092cabbad77a483c8edbe9a9bf681..4594073ce6077de47fd5d3734efd64e69c4eaa59 100644 (file)
--- a/cfg.mk
+++ b/cfg.mk
@@ -144,6 +144,7 @@ web:
        echo generating documentation for $(PACKAGE)
        cd doc && $(SHELL) ../build-aux/gendocs.sh \
                --html "--css-include=texinfo.css" \
+               --html "--set FLOAT_NAME_IN_XREF=1" \
                -o ../$(htmldir)/manual/ $(PACKAGE) "$(PACKAGE_NAME)"
        -cd doc && make gnutls.epub && cp gnutls.epub ../$(htmldir)/manual/
        cd doc && cp *.png ../$(htmldir)/manual/html_node/