diff -r c3b9c574fa3e -r 2f2cbe4e78a8 doc/getstart.dox
--- a/doc/getstart.dox Tue Jul 11 13:54:02 2006 +0000
+++ b/doc/getstart.dox Tue Jul 11 14:42:06 2006 +0000
@@ -128,16 +128,6 @@
for more):
\verbatim
---enable-gui
-\endverbatim
-Build the GUI.
-
-\verbatim
---disable-gui
-\endverbatim
-Do not build the GUI (default).
-
-\verbatim
--with-glpk[=PREFIX]
\endverbatim
Enable GLPK support (default). You should specify the prefix too if you
@@ -209,7 +199,6 @@
- autoconf (2.59 or newer)
- libtool
- pkgconfig
- - gettext
To generate the documentation, run \c make \c doc. You will need
Doxygen for this.