On 2005.07.07 18:55:51 +0000, Rui Paulo wrote:
 | 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/ ? 

Forget about the first question.

		-- Rui Paulo