From 1c14d232632a20de4c11402789a6d2ee4b4df9e6 Mon Sep 17 00:00:00 2001 From: Matthew Butterick Date: Mon, 3 Mar 2014 12:02:39 -0800 Subject: [PATCH] change default ptree to index.ptree --- world.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/world.rkt b/world.rkt index a4ab1b8..a5e4ec6 100644 --- 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 "-")