Module Name:	htdocs
Committed By:	dent
Date:		Fri Mar 16 14:05:46 UTC 2001

Modified Files:
	htdocs/Documentation/kernel/profiling: index.html index.list

Log Message:
Change <DEVHEADING> and <DEVLINK> to <HEADING> and <DOCLINK>

regen


To generate a diff of this commit:
cvs rdiff -r1.1 -r1.2 htdocs/Documentation/kernel/profiling/index.html \
    htdocs/Documentation/kernel/profiling/index.list

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.