From 27fdc19b203d8a07c908ea9a3f0bdfe60380a911 Mon Sep 17 00:00:00 2001
From: bjorn <bjorn@bringert.net>
Date: Fri, 29 Aug 2008 08:41:38 +0000
Subject: [PATCH] Added missing space in Constructors.gf whose absence
 introduced an extra space in the library synopsis.

---
 lib/resource/api/Constructors.gf |  2 +-
 lib/resource/doc/synopsis.html   | 23 ++++++-----------------
 lib/resource/doc/synopsis.txt    |  6 ++----
 3 files changed, 9 insertions(+), 22 deletions(-)

diff --git a/lib/resource/api/Constructors.gf b/lib/resource/api/Constructors.gf
index 2dbf2c0d5..4e5d7e89f 100644
--- a/lib/resource/api/Constructors.gf
+++ b/lib/resource/api/Constructors.gf
@@ -358,7 +358,7 @@ incomplete resource Constructors = open Grammar in {
       mkNP : Art              N -> NP ;  --  1. the man
       mkNP : Art -> (Num) -> CN -> NP ;  --  2. the five old men
       mkNP : Quant   -> N  -> NP ;       --  3. this men
-      mkNP : Quant -> (Num) -> CN -> NP; --  4. these five old men
+      mkNP : Quant -> (Num) -> CN -> NP ; --  4. these five old men
       mkNP : Det     -> N  -> NP ;       --  5. the first man
       mkNP : Det     -> CN -> NP ;       --  6. the first old man
       mkNP : Numeral -> N  -> NP ;       --  7. twenty men
diff --git a/lib/resource/doc/synopsis.html b/lib/resource/doc/synopsis.html
index d7ac8b1b6..0dd6c7b73 100644
--- a/lib/resource/doc/synopsis.html
+++ b/lib/resource/doc/synopsis.html
@@ -1695,7 +1695,7 @@ Lexical category, constructors given in
 </TR>
 <TR>
 <TD><CODE>mkNP</CODE></TD>
-<TD><A HREF="#Art" TITLE="Art - article">Art</A> <CODE>-&gt;</CODE> <A HREF="#NP" TITLE="NP - noun phrase (subject or object)">NP</A></TD>
+<TD><A HREF="#Art" TITLE="Art - article">Art</A> <A HREF="#N" TITLE="N - common noun">N</A> <CODE>-&gt;</CODE> <A HREF="#NP" TITLE="NP - noun phrase (subject or object)">NP</A></TD>
 <TD><I>the man</I></TD>
 </TR>
 <TR>
@@ -1710,6 +1710,11 @@ Lexical category, constructors given in
 </TR>
 <TR>
 <TD><CODE>mkNP</CODE></TD>
+<TD><A 'HREF="#Quant" TITLE="Quant - quantifier ('nucleus' of Det)"'>Quant</A> <CODE>-&gt;</CODE> (<A HREF="#Num" TITLE="Num - number determining element">Num</A>) <CODE>-&gt;</CODE> <A HREF="#CN" TITLE="CN - common noun (without determiner)">CN</A> <CODE>-&gt;</CODE> <A HREF="#NP" TITLE="NP - noun phrase (subject or object)">NP</A></TD>
+<TD><I>these five old men</I></TD>
+</TR>
+<TR>
+<TD><CODE>mkNP</CODE></TD>
 <TD><A HREF="#Det" TITLE="Det - determiner phrase">Det</A> <CODE>-&gt;</CODE> <A HREF="#N" TITLE="N - common noun">N</A> <CODE>-&gt;</CODE> <A HREF="#NP" TITLE="NP - noun phrase (subject or object)">NP</A></TD>
 <TD><I>the first man</I></TD>
 </TR>
@@ -1825,22 +1830,6 @@ Lexical category, constructors given in
 </TR>
 </TABLE>
 
-<P>
-==NP;==[NP;]
-</P>
-<TABLE CELLPADDING="4" BORDER="1">
-<TR>
-<TH>Function</TH>
-<TH>Type</TH>
-<TH COLSPAN="2">Example</TH>
-</TR>
-<TR>
-<TD><CODE>mkNP</CODE></TD>
-<TD><A 'HREF="#Quant" TITLE="Quant - quantifier ('nucleus' of Det)"'>Quant</A> <CODE>-&gt;</CODE> (<A HREF="#Num" TITLE="Num - number determining element">Num</A>) <CODE>-&gt;</CODE> <A HREF="#CN" TITLE="CN - common noun (without determiner)">CN</A> <CODE>-&gt;</CODE> <CODE>NP;</CODE></TD>
-<TD><I>these five old men</I></TD>
-</TR>
-</TABLE>
-
 <A NAME="Num"></A>
 <H2>Num - number determining element</H2>
 <TABLE CELLPADDING="4" BORDER="1">
diff --git a/lib/resource/doc/synopsis.txt b/lib/resource/doc/synopsis.txt
index 0524c0623..3ed9e21a9 100644
--- a/lib/resource/doc/synopsis.txt
+++ b/lib/resource/doc/synopsis.txt
@@ -399,9 +399,10 @@ Lexical category, constructors given in
 || Function  | Type  | Example  ||
 | ``everybody_NP`` | [NP #NP] | //everybody// |
 | ``everything_NP`` | [NP #NP] | //everything// |
-| ``mkNP`` | [Art #Art] ``->`` [NP #NP] | //the man// |
+| ``mkNP`` | [Art #Art] [N #N] ``->`` [NP #NP] | //the man// |
 | ``mkNP`` | [Art #Art] ``->`` ([Num #Num]) ``->`` [CN #CN] ``->`` [NP #NP] | //the five old men// |
 | ``mkNP`` | [Quant #Quant] ``->`` [N #N] ``->`` [NP #NP] | //this men// |
+| ``mkNP`` | [Quant #Quant] ``->`` ([Num #Num]) ``->`` [CN #CN] ``->`` [NP #NP] | //these five old men// |
 | ``mkNP`` | [Det #Det] ``->`` [N #N] ``->`` [NP #NP] | //the first man// |
 | ``mkNP`` | [Det #Det] ``->`` [CN #CN] ``->`` [NP #NP] | //the first old man// |
 | ``mkNP`` | [Numeral #Numeral] ``->`` [N #N] ``->`` [NP #NP] | //twenty men// |
@@ -425,9 +426,6 @@ Lexical category, constructors given in
 | ``mkNP`` | [Conj #Conj] ``->`` [ListNP #ListNP] ``->`` [NP #NP] | //John, I, and that// |
 | ``somebody_NP`` | [NP #NP] | //somebody// |
 | ``something_NP`` | [NP #NP] | //something// |
-==NP;==[NP;]
-|| Function  | Type  | Example  ||
-| ``mkNP`` | [Quant #Quant] ``->`` ([Num #Num]) ``->`` [CN #CN] ``->`` ``NP;`` | //these five old men// |
 ==Num - number determining element==[Num]
 || Function  | Type  | Example  ||
 | ``mkNum`` | [Numeral #Numeral] ``->`` [Num #Num] | //twenty// |