gbranden pushed a commit to branch master
in repository groff.
commit 923e992fb99d2308c041e5c76f82f837ea5a0ed9
Author: G. Branden Robinson <[email protected]>
AuthorDate: Wed Aug 28 19:36:08 2024 -0500
INSTALL.extra: Fix content nits.
* Drop unnecessary phrase.
* Drop stale text.
---
INSTALL.extra | 8 +++-----
1 file changed, 3 insertions(+), 5 deletions(-)
diff --git a/INSTALL.extra b/INSTALL.extra
index fc40f4d23..5e067be6e 100644
--- a/INSTALL.extra
+++ b/INSTALL.extra
@@ -86,9 +86,7 @@ directories used by the 'make install' command are in
locations that
require administrative access for writing. You can 'configure' groff
with options like '--prefix' that select an alternative directory that
is writable by the user conducting the build. Type './configure --help'
-from the groff source tree for documentation of relevant options. See
-"Evaluation" below for instructions on viewing this man page without
-having groff installed.
+from the groff source tree for documentation of relevant options.
Non-POSIX Platforms
@@ -233,8 +231,8 @@ please submit a ticket using the 'BUG-REPORT' file as a
template.
Uninstalling
============
-If you are dissatisfied with groff, or to prepare for a new installation
-from source, you can uninstall it to ensure that no stale files persist
+If you are dissatisfied with groff, or to prepare for a new
+installation, you can uninstall it to ensure that no stale files persist
on the system. Run the command 'sudo make uninstall'. (If you
successfully used 'make install', simply run 'make uninstall'.) At a
minimum, some directories not particular to groff, like 'bin' and
_______________________________________________
Groff-commit mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/groff-commit
