Make the build reproducible.
[lopsub.git] / lopsub.7.m4
index 906fa6d..0813fe1 100644 (file)
@@ -106,56 +106,9 @@ while the
 utility is licensed under the
 .BR GPLv3 .
 The examples and all code generated by the utilities, however, is
-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 .
+licensed under the public domain. You are free to do anything you
+like with the generated code, including incorporating it into or
+linking it with proprietary software.
 
 .SH Quick Start
 Compile and run the minimal example included at the end of
@@ -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
+