summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2017-08-11 19:38:33 -0400
committerGravatar Adam Chlipala <adam@chlipala.net>2017-08-11 19:38:33 -0400
commit9fdb50d8ecc7782ae73472b9d943a24a304d0191 (patch)
treef34a0b77b45c59e240d4ae1ccac2672585077f29
parent431a0a00148fb0fec21dacedc7665b52a7b0c557 (diff)
Demo instructions: -noEmacs
-rw-r--r--demo/prose4
1 files changed, 2 insertions, 2 deletions
diff --git a/demo/prose b/demo/prose
index 781eeed5..11b4a885 100644
--- a/demo/prose
+++ b/demo/prose
@@ -23,10 +23,10 @@ sudo make install
<h6>Compile the Demo the Easy Way</h6>
-<p><blockquote><pre>$ urweb -dbms sqlite -db /path_to_db.sqlite -demo /Demo demo
+<p><blockquote><pre>$ urweb -dbms sqlite -db /path_to_db.sqlite -demo /Demo -noEmacs demo
</blockquote></pre></p>
-<p>The <tt>-dbms sqlite</tt> flag indicates that instead of using the default database management system (<a href="https://www.postgresql.org/">PostgreSQL</a>), we wish to use <a href="https://sqlite.org/">SQLite</a> (usually unsuited for production). The <tt>-db</tt> flag allows us to specify the file-system path to our SQLite database. The <tt>-demo /Demo</tt> parameter indicates that we want to build a demo application that expects its URIs to begin with <tt>/Demo</tt>. The final argument <tt>demo</tt> gives the path to a directory housing Ur/Web source files (<tt>.ur</tt>, <tt>.urp</tt>, <tt>.urs</tt>, etc.).
+<p>The <tt>-dbms sqlite</tt> flag indicates that instead of using the default database management system (<a href="https://www.postgresql.org/">PostgreSQL</a>), we wish to use <a href="https://sqlite.org/">SQLite</a> (usually unsuited for production). The <tt>-db</tt> flag allows us to specify the file-system path to our SQLite database. The <tt>-demo /Demo</tt> parameter indicates that we want to build a demo application that expects its URIs to begin with <tt>/Demo</tt>, while the <tt>-noEmacs</tt> parameter disables invocation of Emacs to syntax-highlight source files for HTML rendering. The final argument <tt>demo</tt> gives the path to a directory housing Ur/Web source files (<tt>.ur</tt>, <tt>.urp</tt>, <tt>.urs</tt>, etc.).
</p>
<p>