From f3c925f3e7b2f46075063e2882a3cce06cce5b28 Mon Sep 17 00:00:00 2001
From: Boris Kolpackov <boris@codesynthesis.com>
Date: Tue, 6 Sep 2016 17:03:25 +0200
Subject: Minor INSTALL update

---
 INSTALL-DEV | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'INSTALL-DEV')

diff --git a/INSTALL-DEV b/INSTALL-DEV
index b301a49..66d554c 100644
--- a/INSTALL-DEV
+++ b/INSTALL-DEV
@@ -128,4 +128,4 @@ sudo systemctl restart apache2
 Note that if instead you need to recreate the whole database (e.g., migration
 is not possible), then one way to do it would be:
 
-psql -d brep -c 'DROP OWNED BY <user>'
+$ psql -d brep -c 'DROP OWNED BY <user>'
-- 
cgit v1.1