73 lines
2.1 KiB
Diff
73 lines
2.1 KiB
Diff
diff --git a/src/swipl.1.in b/src/swipl.1.in
|
|
index 8754a3d..0ba8a26 100644
|
|
--- a/src/swipl.1.in
|
|
+++ b/src/swipl.1.in
|
|
@@ -323,57 +323,6 @@ to
|
|
.BR apropos/1
|
|
and
|
|
.BR explain/1.
|
|
-.RE
|
|
-.SH FILES
|
|
-This installation of SWI-Prolog has been configured using the configure
|
|
-option
|
|
-.BI \-\-prefix= @prefix@.
|
|
-If the files listed below are not at the indicated place, the installation
|
|
-has probably been moved. Use
|
|
-.TP
|
|
-?- current_prolog_flag(home, Home).
|
|
-.P
|
|
-to find the local installation directory of SWI-Prolog.
|
|
-.TP
|
|
-.I .plrc
|
|
-.TP
|
|
-.I ~/.plrc
|
|
-Personal initialisation files consulted by SWI-Prolog on startup.
|
|
-If both exist
|
|
-.I .plrc
|
|
-is used.
|
|
-.TP
|
|
-.I @prefix@/lib/@PL@-@PLVERSION@/bin/@ARCH@/
|
|
-Location for the executables.
|
|
-.TP
|
|
-.I @prefix@/lib/@PL@-@PLVERSION@/include/
|
|
-Location for the include files. If writable, SWI-Prolog.h is also
|
|
-copied to @prefix@/include/SWI-Prolog.h.
|
|
-.TP
|
|
-.I @prefix@/lib/@PL@-@PLVERSION@/library/
|
|
-SWI-Prolog user libraries.
|
|
-.TP
|
|
-.I @prefix@/lib/@PL@-@PLVERSION@/boot/
|
|
-SWI-Prolog kernel parts written in Prolog. The startup file
|
|
-@prefix@/lib/@PL@-@PLVERSION@/boot32.prc may be recreated using
|
|
-the command from the directory @prefix@/lib/@PL@-@PLVERSION@:
|
|
-.RS
|
|
-.TP
|
|
-bin/@ARCH@/@PL@ \-O \-o boot32.prc \-b boot/init.pl
|
|
-.RE
|
|
-.TP
|
|
-.I @prefix@/lib/@PL@-@PLVERSION@/doc/packages
|
|
-HTML and/or PDF documentation on the installed add-ons.
|
|
-.TP
|
|
-.I @prefix@/lib/@PL@-@PLVERSION@/boot32.prc
|
|
-Default startup file. This is a `intermediate code' file containing
|
|
-precompiled code from the boot directory. The
|
|
-.BI \-x bootfile
|
|
-option may be used to select a different file.
|
|
-.TP
|
|
-.I @prefix@/lib/@PL@-@PLVERSION@/runtime/@ARCH@/libpl.a
|
|
-SWI-Prolog library for embedding. See also
|
|
-.I plld(1).
|
|
.SH SEE ALSO
|
|
.PP
|
|
The SWI-Prolog web-home at
|
|
@@ -383,9 +332,6 @@ Jan\ Wielemaker
|
|
.IR "SWI-Prolog Reference Manual" at
|
|
.I http://www.swi-prolog.org/pldoc/index.html
|
|
.PP
|
|
-Documentation on the add-on packages in
|
|
-.I @prefix@/lib/@PL@-@PLVERSION@/boot/doc
|
|
-.PP
|
|
William\ F.\ Clocksin & Christopher\ S.\ Mellish,
|
|
.IR "Programming in Prolog" ,
|
|
fourth edition, Springer Verlag, Berlin 1994.
|
