if os.path.exists('html/copy/jquery.min.js'): index = index.replace("{$jquery}", "<script src='jquery.min.js'></script>") else: index = index.replace("{$jquery}", "<script src='http://ajax.googleapis.com/ajax/libs/jquery/1.11.1/jquery.min.js'></script>") if os.path.exists('html/copy/jquery-ui.min.js'): index = index.replace("{$jqueryui}", "<script src='jquery-ui.min.js'></script>") else: index = index.replace("{$jqueryui}", '<script src="http://ajax.googleapis.com/ajax/libs/jqueryui/1.11.1/jquery-ui.min.js"></script>') index_commands_version = opengl.commands_version_flat.keys() index_commands_version.sort() index_versions_commands = "" for command in index_commands_version: major_versions = opengl.get_major_versions_available(command) aliases = {} # Add aliases to this command. Need to do this because ES has glClearDepthf while GL has glClearDepth for alias in opengl.aliased_functions[command]: if alias == command: continue if alias in index_commands_version: for version in opengl.get_major_versions_available(alias): if not version in major_versions: major_versions.append(version) aliases[version] = alias # If the command is an alias we've already done it, skip if command in opengl.function_aliases and command != opengl.function_aliases[command] and opengl.function_aliases[command] in index_commands_version: continue