diff --git a/Doc/html/Makefile b/Doc/html/Makefile index 6b2827bc7e8..5da7cabb7e2 100644 --- a/Doc/html/Makefile +++ b/Doc/html/Makefile @@ -14,7 +14,8 @@ PYTHON= python WEBCHECKER=$(PYTHON) $(TOPDIR)/../Tools/webchecker/webchecker.py MKHOWTO= $(TOOLSDIR)/mkhowto --about $(TOPDIR)/html/stdabout.dat \ --address $(PYTHONDOCS) --up-link ../index.html \ - --up-title "Python Documentation Index" + --up-title "Python Documentation Index" \ + --global-module-index "../modindex.html" MKHTML= $(MKHOWTO) --html BUILDINDEX=$(TOOLSDIR)/buildindex.py diff --git a/Doc/perl/l2hinit.perl b/Doc/perl/l2hinit.perl index 4ffcc589f1b..d3720d99974 100644 --- a/Doc/perl/l2hinit.perl +++ b/Doc/perl/l2hinit.perl @@ -332,6 +332,16 @@ sub add_module_idx { . "$key$plat###\n"; } close(MODIDXFILE); + + if ($GLOBAL_MODULE_INDEX) { + $prefix = < This index only lists modules documented in this manual. + The Global Module + Index lists all modules that are documented in this set + of manuals.

+MODULE_INDEX_PREFIX + } if (!$allthesame) { $prefix .= <