From: Bert Burgemeister <trebbu@googlemail.com>
Date: Wed, 6 Jun 2012 16:00:30 +0000 (+0200)
Subject: Fix syntax of logical pathnames
X-Git-Tag: 136^0
X-Git-Url: https://repo.or.cz/w/clqr.git/commitdiff_plain/021bde81ca88f3c1574172396c983f0ffdda8309

Fix syntax of logical pathnames
---

diff --git a/clqr-input-output.tex b/clqr-input-output.tex
index 88511f6..cd63573 100644
--- a/clqr-input-output.tex
+++ b/clqr-input-output.tex
@@ -1332,7 +1332,8 @@
     \retval{Logical pathname} of \VAR{logical-path}.
     Logical pathnames are represented as all-uppercase
     \LIT{\#P"}%
-    \Op{\VAR{host}\LIT{:}}\Op{\LIT{:}}%
+    \Op{\VAR{host}\LIT{:}}%
+    \Op{\LIT{;}}%
     \Goos{\xorGOO{%
         \Goop{\VAR{dir}\XOR\LIT{*}}\\
         \LIT{**}}{\}}\LIT{;}}%