[PPL-devel] ppl/interfaces/C ppl_c_header.h

[Enea Zaffanella]

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	zaffanella at cs.unipr.it	2008-09-25 18:29:08

Modified files:
	interfaces/C   : ppl_c_header.h 

Log message:
	Use alias \extref instead of \ref when referring to external documentation
	(i.e., the core manuals) so that tag files will work for HTML and no error
	is obtained in LaTeX.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c_header.h.diff?cvsroot=ppl&r1=1.5&r2=1.6