pp reads from stdin

diff --git a/c/doc/install.texi b/c/doc/install.texi
index 6801715eb5b024e9955a21ba94b75c1c29ec7a7750302603f5c79e9204ba3e4d..17962c9bd7190fe355606c21cf2dbf1df05118add23aa1338a84617a99ff943e 100644 (file)
--- a/c/doc/install.texi
+++ b/c/doc/install.texi
@@ -23,5 +23,5 @@ $ redo lib/install lib/cm/install
 
 $ cd cmd/pp
 $ redo
-$ ./pp ../../lib/cm/pub.schema.keks
+$ ./pp <../../lib/cm/pub.schema.keks
 @end example