change default ptree to index.ptree

10 years ago · 1c14d23263
parent 5835f09a26
commit 1c14d23263
1 changed files with 1 additions and 1 deletions
--- a/world.rkt
+++ b/world.rkt
@ -19,7 +19,7 @@

 (define decodable-extensions (list markup-source-ext ptree-source-ext))

-(define default-ptree "main.ptree")
+(define default-ptree "index.ptree")
 (define ptree-root-node 'ptree-root)

 (define template-source-prefix "-")