# HG changeset patch
# User Adam Chlipala <adamc@hcoop.net>
# Date 1224625754 14400
# Node ID 81d9f42bb64122a482516bb344af403962d39fa2
# Parent  de3b03e22447ddec5ece2a595fc472b324df3fce
Note about demo.sql

diff -r de3b03e22447 -r 81d9f42bb641 demo/prose
--- a/demo/prose	Tue Oct 21 17:44:03 2008 -0400
+++ b/demo/prose	Tue Oct 21 17:49:14 2008 -0400
@@ -22,6 +22,8 @@
 ProxyPass /Demo/ http://localhost:8080/
 ProxyPassReverse /Demo/ http://localhost:8080/</pre></blockquote></p>
 
+<p>Building the demo also generates a <tt>demo.sql</tt> file, giving the SQL commands to run to define all of the tables and sequences that the applications expect to see.  The file <tt>demo.urp</tt> contains a <tt>database</tt> line with the PostgreSQL database that the demo web server will try to connect to.</p>
+
 <p>The rest of the demo focuses on the individual applications.  Follow the links in the lefthand frame to visit the applications, commentary, and syntax-highlighted source code.  (An Emacs mode is behind the syntax highlighting.)  I recommend visiting the applications in the order listed, since that is the order in which new concepts are introduced.</p>
 
 hello.urp