update

stanford-ppl · Jan 23, 2018 · 82c42eb · 82c42eb
1 parent 98126ad
commit 82c42eb
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 0 deletions.
diff --git a/docs/site/conf.py → docs/site/conf b/docs/site/conf.py → docs/site/conf
diff --git a/src/main/scala/processor/Preprocessor.scala b/src/main/scala/processor/Preprocessor.scala
@@ -207,6 +207,7 @@ object Preprocessor {
 
       Files.copy(Paths.get(origPath), Paths.get(path), StandardCopyOption.REPLACE_EXISTING)
     }
+    Files.move(Paths.get(out + "/conf"), Paths.get(out + "/conf.py"))
 
     var displ: Map[String, String] = Map.empty   // Map from alias to display name
     var paths: Map[String, String] = Map.empty   // Map from type name to absolute path to filename (without .rst)