Module Name:	htdocs
Committed By:	wiz
Date:		Sun Feb 10 13:44:37 UTC 2002

Modified Files:
	htdocs: index.html
	htdocs/Documentation/cross: index.html index.list
	htdocs/Misc: search.html
	htdocs/Ports: index.html
	htdocs/Ports/acorn32: history.html
	htdocs/Ports/arm32: index.html
	htdocs/developers/features: index.html table
	htdocs/fr: index.html
	htdocs/ko: index.html
	htdocs/search: index.html
Added Files:
	htdocs/Ports/shark: index.html
	htdocs/images/ports/shark: index.html shark.gif
Removed Files:
	htdocs/Ports/dnard: index.html
	htdocs/images/ports/dnard: dnard.gif index.html

Log Message:
dnard port has been renamed to shark.
XXX: de/ja translations not updated


To generate a diff of this commit:
cvs rdiff -r1.644 -r1.645 htdocs/index.html
cvs rdiff -r1.23 -r1.24 htdocs/Documentation/cross/index.html
cvs rdiff -r1.20 -r1.21 htdocs/Documentation/cross/index.list
cvs rdiff -r1.22 -r1.23 htdocs/Misc/search.html
cvs rdiff -r1.206 -r1.207 htdocs/Ports/index.html
cvs rdiff -r1.2 -r1.3 htdocs/Ports/acorn32/history.html
cvs rdiff -r1.93 -r1.94 htdocs/Ports/arm32/index.html
cvs rdiff -r1.4 -r0 htdocs/Ports/dnard/index.html
cvs rdiff -r0 -r1.1 htdocs/Ports/shark/index.html
cvs rdiff -r1.353 -r1.354 htdocs/developers/features/index.html
cvs rdiff -r1.336 -r1.337 htdocs/developers/features/table
cvs rdiff -r1.11 -r1.12 htdocs/fr/index.html
cvs rdiff -r1.1 -r0 htdocs/images/ports/dnard/dnard.gif \
    htdocs/images/ports/dnard/index.html
cvs rdiff -r0 -r1.1 htdocs/images/ports/shark/index.html \
    htdocs/images/ports/shark/shark.gif
cvs rdiff -r1.5 -r1.6 htdocs/ko/index.html
cvs rdiff -r1.4 -r1.5 htdocs/search/index.html

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