On 2005.07.07 21:53:35 +0000, Klaus Heinz wrote:
 | 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).

Ok. So why all the Makefiles use ${DOCS} for XML files ? Should we change
all the Makefiles with s/DOCS/XMLDOCS/ ? 

		-- Rui Paulo