user.texi: cleanup.

Signed-off-by: Nils Gillmann <ng0@n0.is>

diff --git a/doc/documentation/chapters/user.texi b/doc/documentation/chapters/user.texi
index 9a5c41d34d31a2184a6d198a0a67a6b2fab5b014..c105a2b2b0719569455aebb2c7c50cbb00a273db 100644 (file)
--- a/doc/documentation/chapters/user.texi
+++ b/doc/documentation/chapters/user.texi
@@ -228,7 +228,7 @@ You must also go to about:config and change the
 otherwise the browser will autoblunder an address like
 @code{@uref{http://www.gnu/, www.gnu}} to
 @code{@uref{http://www.gnu.com/, www.gnu.com}}.  If you want
-to resolve ``@'' in your own TLDs, you must additionally
+to resolve @@ in your own TLDs, you must additionally
 set @code{browser.fixup.dns_first_use_for_single_words} to @code{true}.
 
 After configuring your browser, you might want to first confirm that it
@@ -2004,7 +2004,7 @@ $ gnunet-namestore -z id -a -n reclaim -t BOX -V "$BOXVALUE" -e 1d -p
 
 NGINX setup:
 @example
-server {
+server @{
     listen 443;
     server_name reclaim.id.local;
     ssl on;
@@ -2014,11 +2014,11 @@ server {
     ssl_protocols TLSv1 TLSv1.1 TLSv1.2;
     ssl_session_cache shared:SSL:10m;
 
-    location /api {
+    location /api @{
       rewrite    /api/(.*) /$1 break;
       proxy_pass http://127.0.0.1:7776;
-    }
-}
+    @}
+@}
 @end example
 
 This will expose the REST API of GNUnet at https://reclaim.id/api.
@@ -2039,12 +2039,12 @@ Now setup a webserver to serve the compiled website under "dist/".
 Now we can add the user interfce to our NGINX configuraiton:
 
 @example
-server {
+server @{
 ...
-    location / {
+    location / @{
       proxy_pass http://<whereever you serve the UI>;
-    }
-}
+    @}
+@}
 @end example
 
 You can thest your setup by accessing https://reclaim.id in your browser through the GNS proxy.