browserui/operatormenu/help/group/bld.inf
changeset 24 868cceedabd3
parent 11 16a119033e3e
child 26 97c9f46387be
--- a/browserui/operatormenu/help/group/bld.inf	Fri Nov 06 13:02:00 2009 +0200
+++ b/browserui/operatormenu/help/group/bld.inf	Thu Dec 17 08:47:18 2009 +0200
@@ -18,7 +18,7 @@
 */
 
 #include <platform_paths.hrh>
-#include "../../../../../../mw/web/web_plat/browser_platform_api/inc/Browser_platform_variant.hrh"
+#include "../../../../../../mw/web/web_plat/browser_platform_api/inc/browser_platform_variant.hrh"
 			
 #if !defined(__PLATFORM_VERSION_32__) && !defined(__PLATFORM_VERSION_50__) && !defined(__PLATFORM_VERSION_50_TUBE__)