make sure to have index.html

aviatesk · Jun 17, 2021 · 3c11e20 · 3c11e20
1 parent 8fe4ff5
commit 3c11e20
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/.gitignore b/.gitignore
@@ -4,6 +4,7 @@
 Manifest.toml
 !/benchmark/Manifest.toml
 !/docs/Manifest.toml
+/docs/src/index.md
 /docs/src/generated-*.md
 /docs/src/generated-*/
 !/examples/Manifest.toml
diff --git a/docs/make.jl b/docs/make.jl
@@ -1,7 +1,7 @@
 using JET, Documenter, Literate, Markdown
 
 const DOC_SRC_DIR          = normpath(@__DIR__, "src")
-const INDEX_FILENAME       = normpath(DOC_SRC_DIR, "generated-index.md")
+const INDEX_FILENAME       = normpath(DOC_SRC_DIR, "index.md")
 const PLUGIN_API_FILENAME  = normpath(DOC_SRC_DIR, "generated-plugin-api.md")
 const PLUGIN_EXAMPLES_DIRS = (normpath(@__DIR__, "..", "examples"), normpath(DOC_SRC_DIR, "generated-plugin-examples"))