diff --git a/xdoc/plugin.jelly b/xdoc/plugin.jelly index 769bc63d..12ae6e14 100644 --- a/xdoc/plugin.jelly +++ b/xdoc/plugin.jelly @@ -556,6 +556,18 @@ + + + + @@ -847,8 +859,9 @@ + @@ -953,20 +966,7 @@ prereqs="xdoc:init" description="Generate html project documentation xdoc sources"> - - - - - - + diff --git a/xdoc/xdocs/changes.xml b/xdoc/xdocs/changes.xml index bf593606..71fda966 100644 --- a/xdoc/xdocs/changes.xml +++ b/xdoc/xdocs/changes.xml @@ -27,8 +27,8 @@ + One cannot call xdoc:copy-user-resources directly. Add support for more powered-by banners. - Support global theme. Add a navigation bar. Add an optional id tag to sub/sections, so they can be referenced.