patch: Enhance doc building

Fri Jul 21 15:09:55 UTC 2006

The attached patch adds all doc/tutorial/*.xml files explicitely as dependencies,
and adds convenience targets doc_manuals, html_manuals, and pdf_manuals.

Regards,
		Stefan

-- 
Stefan Seefeld
CodeSourcery
stefan at codesourcery.com
(650) 331-3385 x718
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: patch
URL: <http://sourcerytools.com/pipermail/vsipl++/attachments/20060721/43c03df4/attachment.ksh>