From 81934ea4c2cf2260b6000e9be4d13e328204929a Mon Sep 17 00:00:00 2001
From: Adam Chlipala
Increment
diff --git a/demo/prose b/demo/prose
index df0ed0a9..1cc9a6ac 100644
--- a/demo/prose
+++ b/demo/prose
@@ -5,7 +5,7 @@
./configure
make
sudo make install
-urweb -demo /Demo demo
The -demo /Demo flag says that we want to build a demo application that expects its URIs to begin with /Demo. The final argument demo gives the path to a directory housing demo files. One of the files in that directory is prose, a file describing the different demo pieces with HTML. Some lines of prose have the form foo.urp, naming particular project files (with the extension .urp) in that directory.
-- cgit v1.2.3