Changeset d88b03 in git for doc/NEWS.texi

Timestamp:

Feb 26, 2001, 2:15:33 PM (22 years ago)

Author:

Hans Schönemann <hannes@…>

Branches:

(u'spielwiese', '0d6b7fcd9813a1ca1ed4220cfa2b104b97a0a003')

Children:

0e4337544d5e40b9b6dcd35e9c376c7044c0a909

Parents:

f1ae11fea1ff2e24b9911c09477887e8a18bb969

Message:

*hannes: fixed @ref


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

File:

• doc/NEWS.texi (modified) (3 diffs)

doc/NEWS.texi

@@ -1 +1 @@
 @comment -*-texinfo-*-
-@comment $Id: NEWS.texi,v 1.32 2001-02-26 13:11:28 Singular Exp $
+@comment $Id: NEWS.texi,v 1.33 2001-02-26 13:15:33 Singular Exp $
 @comment this file contains the News about Singular versions
 @comment Unix
@@ -203 +203 @@
 @table @asis
 @item @code{--browser}, @code{--allow-net}, @code{--emacs}, @code{--sdb}
-new command-line options (@pxref{Command line options}).
+new command-line options
+@ifset singularmanual
+(@pxref{Command line options})
+@end ifset
+.
 @item @nref{system}
 values of command-line options can be inspected/set at run-time with
@@ -209 +213 @@
 @item @code{.singularrc}
 system administrators can put a "global" @code{.singularrc} file into
-the directories where @sc{Singular} libraries reside (@pxref{Startup sequence}).
+the directories where @sc{Singular} libraries reside
+@ifset singularmanual
+(@pxref{Startup sequence})
+@end ifset
+.
 @item @code{libreadline}
 if found, a shared version of the @code{readline} library is linked-in