Rui Paulo wrote:

> Modified Files:
> 	htdocs/developers: Makefile
> 
> Log Message:
> Remove ${XMLDOCS} and replace by ${DOCS}. Add style.xml and remove style.list.

Unfortunately, this was the wrong direction. While we are moving to XML
files we need to maintain compatibility with the old DOCS variable but
the XML files should all be listed in XMLDOCS. See
htdocs/share/mk/web.site.mk (where we should add such a remark as well).

ciao
     Klaus