Searched refs:INDEX_HTML_FILE_NAME (Results 1 – 1 of 1) sorted by relevance
33 static const char INDEX_HTML_FILE_NAME[] = "index.html"; variable456 if (!file.start(directory, INDEX_HTML_FILE_NAME)) { in generateAlphabeticalIndex()719 generateSnippet(&file, INDEX_HTML_FILE_NAME, "Index"); in generateAndroidTableOfContentSnippet()