Changeset dd2be3b in git

Timestamp:

Mar 21, 2002, 5:19:16 PM (21 years ago)

Author:

Mathias Schulze <mschulze@…>

Branches:

(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', '0604212ebb110535022efecad887940825b97c3f')

Children:

59ae1aa360a3b000570684099ba58f4ab87bf691

Parents:

91fc5ef6793434c854736648be840a3d14e17c1b

Message:

*mschulze: GMG-changes...


git-svn-id: file:///usr/local/Singular/svn/trunk@6023 2c84dea3-7e68-4137-9b89-c4e89433aadc

File:

• doc/INSTALL_rpm.texi (modified) (6 diffs)

doc/INSTALL_rpm.texi

@@ -1 +1 @@
 @comment -*-texinfo-*-
-@comment $Id: INSTALL_rpm.texi,v 1.3 2002-03-12 14:57:41 mschulze Exp $
+@comment $Id: INSTALL_rpm.texi,v 1.4 2002-03-21 16:19:16 mschulze Exp $
 @c FILE: INSTALL_rpm.texi
 @c PURPOSE: Installation instruction for Singular on RPM based Linux systems
@@ -15 +15 @@
 @sc{rpm} is a powerful package manager, which can be used to build, install, query, verify, update, and erase individual software packages.
 @sc{Singular} can be installed on an @sc{rpm} based @sc{Linux} system.
+The installation of @sc{Singular} on a general @sc{Unix} system is described in @code{INSTALL_unix}.
 
 @heading @sc{Singular} @sc{rpm} packages
@@ -54 +55 @@
 This program may be freely redistributed under the terms of the GNU GPL
 
-Usage: rpm {--help}
-       rpm {--version}
+Usage: rpm @{--help@}
+       rpm @{--version@}
 @end smallexample
 @item
@@ -76 +77 @@
 @heading Installation of @sc{Singular} @sc{rpm} packages
 
+In the following, we describe how to install @sc{Singular} using the @sc{rpm} command line tool @code{rpm}.
+Alternatively, you can use a graphical @sc{rpm} frontend like e.g. @code{kpackage} under @sc{kde}.
+
 @enumerate
 @item
-The installation requires about 18MB of free disk space under @code{/opt}.
+The installation requires about 20MB of free disk space under @code{/opt}.
 You can check the free disk space by typing
 @smallexample
-df
+df -h
 @end smallexample
 in a command shell.
@@ -92 +96 @@
 @end smallexample
 in a command shell.
+
 This requires several shared libraries.
 If these are not present in your system, @code{rpm} will give an error report.
@@ -113 +118 @@
 @end smallexample
 in a command shell.
-In the first case, you type
+In the first case (@code{/opt/kde}), you type
 @smallexample
 rpm -ivh Singular-kde-redhat-@value{RPM_VERSION}-1.noarch.rpm
 @end smallexample
-and in the second case
+and, in the second case (@code{/usr/share}),
 @smallexample
 rpm -ivh Singular-kde-suse-@value{RPM_VERSION}-1.noarch.rpm