From 6116601b0c3c9debf5d94e50601b5d9e7a09d149 Mon Sep 17 00:00:00 2001
From: Dudás Ádám <dudas.adam@cloud.bme.hu>
Date: Tue, 15 Sep 2015 17:07:30 +0200
Subject: [PATCH] fix offending backslash

---
 docs/deploy.rst | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/docs/deploy.rst b/docs/deploy.rst
index 4df98ea..70ed4f2 100644
--- a/docs/deploy.rst
+++ b/docs/deploy.rst
@@ -89,7 +89,7 @@ Set up nginx to serve the CIRCLE portal. ::
 
     server {
       listen 80 default;
-      rewrite ^ https://\$host/;  # permanent;
+      rewrite ^ https://$host/;  # permanent;
     }
   END
   sudo /etc/init.d/nginx restart
@@ -145,4 +145,4 @@ the portal application server::
   sudo cp miscellaneous/mancelery.conf /etc/init/
   sudo start mancelery
   sudo cp miscellaneous/portal-uwsgi.conf /etc/init/
-  sudo start portal-uwsgi
+  sudo start portal-uwsgi
\ No newline at end of file
--
libgit2 0.26.0