diff --git a/doc/index.txt b/doc/index.txt.in similarity index 100% rename from doc/index.txt rename to doc/index.txt.in