diff --git a/test/9pm-proj.yaml b/test/9pm-proj.yaml
index e58e4dbb..963e6f05 100644
--- a/test/9pm-proj.yaml
+++ b/test/9pm-proj.yaml
@@ -1,3 +1,4 @@
 9pm:
   PROJECT-NAME: "Infix"
   PROJECT-ROOT: "../../"
+  PROJECT-TOPDOC: "../case/"