Removed WebDoc-Page-Navbar-Name and WebDoc-Page-Navbar-Select where needed.
a014cbb0fd35
Actions

Authored by Jerome Caffaro <jerome.caffaro@cern.ch> on Dec 20 2007, 14:01.

Description

Removed WebDoc-Page-Navbar-Name and WebDoc-Page-Navbar-Select where needed. Added WebDoc-Page-Revision where needed.

Committed

Jerome Caffaro <jerome.caffaro@cern.ch>

Dec 20 2007, 14:01

Parents

Branches

Unknown

Tags

Unknown

				Path
	M			modules/websearch/doc/hacking/search-engine-api.webdoc
	M			modules/websearch/doc/hacking/search-engine-internals.webdoc
	M			modules/websearch/doc/hacking/search-engine-stages.webdoc