device, tools: update link to manual

src/device/device_options.cpp

@@ -38,7 +38,7 @@ static void help(const char* msg = NULL)
 		"  --parent-window <handle>        Set the parent window <handle> of the main window.\n"
 		"  --server                        Run the engine in server mode.\n"
 		"\n"
-		"Complete documentation available at https://dbartolini.github.io/crown/html\n"
+		"Complete documentation available at https://dbartolini.github.io/crown/html/v" CROWN_VERSION "\n"
 	);
 
 	if (msg)

tools/level_editor/level_editor.vala

@@ -1322,7 +1322,7 @@ namespace Crown
 		{
 			try
 			{
-				AppInfo.launch_default_for_uri("https://dbartolini.github.io/crown/html", null);
+				AppInfo.launch_default_for_uri("https://dbartolini.github.io/crown/html/v" + CROWN_VERSION, null);
 			}
 			catch (Error e)
 			{