2 files changed, 3 insertions, 3 deletions
diff --git a/ps/notes b/ps/notes
deleted file mode 100644
index b834e15..0000000
--- a/ps/notes
+++ /dev/null
@@ -1,2 +0,0 @@
-Running:
-    gs -q -dNODISPLAY stepX_YYY.ps
diff --git a/ps/step0_repl.ps b/ps/step0_repl.ps
index 3aade39..325392f 100644
--- a/ps/step0_repl.ps
+++ b/ps/step0_repl.ps
@@ -28,11 +28,13 @@
     READ (stub env) EVAL PRINT
 } def
 
+/stdin (%stdin) (r) file def 
+
 { % loop
     (user> ) print flush
 
     %(%lineedit) (r) file 99 string readline
-    (%stdin) (r) file 99 string readline
+    stdin 99 string readline
 
     not { exit } if  % exit if EOF