From 9fdb50d8ecc7782ae73472b9d943a24a304d0191 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Fri, 11 Aug 2017 19:38:33 -0400 Subject: Demo instructions: -noEmacs --- demo/prose | 4 ++-- 1 file 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
Compile the Demo the Easy Way
-

$ urweb -dbms sqlite -db /path_to_db.sqlite -demo /Demo demo
+

$ urweb -dbms sqlite -db /path_to_db.sqlite -demo /Demo -noEmacs demo
 

-

The -dbms sqlite flag indicates that instead of using the default database management system (PostgreSQL), we wish to use SQLite (usually unsuited for production). The -db flag allows us to specify the file-system path to our SQLite database. The -demo /Demo parameter indicates 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 Ur/Web source files (.ur, .urp, .urs, etc.). +

The -dbms sqlite flag indicates that instead of using the default database management system (PostgreSQL), we wish to use SQLite (usually unsuited for production). The -db flag allows us to specify the file-system path to our SQLite database. The -demo /Demo parameter indicates that we want to build a demo application that expects its URIs to begin with /Demo, while the -noEmacs parameter disables invocation of Emacs to syntax-highlight source files for HTML rendering. The final argument demo gives the path to a directory housing Ur/Web source files (.ur, .urp, .urs, etc.).

-- cgit v1.2.3