X-Git-Url: http://git.tuebingen.mpg.de/?p=lopsub.git;a=blobdiff_plain;f=lopsub.7.m4;fp=lopsub.7.m4;h=75c43f169137236152c128ef7fcd5b1d659cff32;hp=906fa6d0513b1d9ea1dbd6ba3dbbd847c88f58d2;hb=72d28bdb0cd9c57d9d650006038f2ef2689aaee2;hpb=51ae45300475de90d323cfa92b2bd42422201d27

diff --git a/lopsub.7.m4 b/lopsub.7.m4
index 906fa6d..75c43f1 100644
--- a/lopsub.7.m4
+++ b/lopsub.7.m4
@@ -110,53 +110,6 @@ licensed with a simple all-permissive license. You are free to do
 anything you like with the generated code, including incorporating
 it into or linking it with proprietary software.
 
-.SH Installation
-Grab your copy with
-.IP
-.EX
-git clone git://git.tuebingen.mpg.de/lopsub.git
-.EE
-.PP
-Then build the package with
-.IP
-.EX
-make
-.EE
-.PP
-The suite parser and the config file parser of the
-.B lopsub
-library are both generated by running
-.MONO_ROMAN flex ,
-a tool for generating programs that perform pattern-matching on text. Hence the
-.B flex
-package must be installed for the build to succeed. Next, run
-.IP
-.EX
-sudo make install
-.EE
-.PP
-This will install the package in
-.MONO_ROMAN /usr/local .
-If you prefer to install as an unprivileged user in
-.MONO_ROMAN /somewhere/else ,
-run
-.IP
-.EX
-make PREFIX=/somewhere/else install
-.EE
-.PP
-instead. In this case, you need to specify
-.MONO -I/somewhere/else/include
-to compile the source files of your application and
-.MONO -L/somewhere/else/lib
-for linking. Alternatively, don't run
-.MONO make install
-at all and specify the path to the top level directory of the
-repository for both
-.MONO -I
-and
-.MONO_ROMAN -L .
-
 .SH Quick Start
 Compile and run the minimal example included at the end of
 .UR ./lopsub-suite.5.html
@@ -179,11 +132,26 @@ Alternatively, examine
 or
 .MONO_ROMAN lopsub.h.m4 .
 
-.SH Contact
-Email:
-.MT maan@tuebingen.mpg.de
-Andre Noll
-.ME ,
-Homepage:
+.SH Resources
+
+\(bu
+git clone URL:
+.UR git://git.tuebingen.mpg.de/lopsub.git
+.UE
+
+\(bu
+gitweb:
+.UR http://git.tuebingen.mpg.de/lopsub.git
+.UE
+
+\(bu
+The author's homepage:
 .UR http://people.tuebingen.mpg.de/maan/
 .UE
+
+\(bu
+Send feedback to
+.MT maan@tuebingen.mpg.de
+Andre Noll
+.ME
+