|
|
d1202d8 |
From 026ccc44b46537fb1976446601d1f9c08139dcbe Mon Sep 17 00:00:00 2001
|
|
|
d1202d8 |
From: =?UTF-8?q?Petr=20P=C3=ADsa=C5=99?= <ppisar@redhat.com>
|
|
|
d1202d8 |
Date: Mon, 22 Aug 2011 17:03:22 +0200
|
|
|
d1202d8 |
Subject: [PATCH] Remove files locations from swipl(1) manual
|
|
|
d1202d8 |
|
|
|
d1202d8 |
We install the files somewhere else.
|
|
|
d1202d8 |
---
|
|
|
d1202d8 |
src/swipl.1.in | 54 ------------------------------------------------------
|
|
|
d1202d8 |
1 files changed, 0 insertions(+), 54 deletions(-)
|
|
|
d1202d8 |
|
|
|
3e587af |
diff --git a/src/swipl.1.in b/src/swipl.1.in
|
|
|
d1202d8 |
index b3e3076..baa7363 100644
|
|
|
3e587af |
--- a/src/swipl.1.in
|
|
|
3e587af |
+++ b/src/swipl.1.in
|
|
|
d1202d8 |
@@ -337,57 +337,6 @@ to
|
|
|
b1f9931 |
.BR apropos/1
|
|
|
b1f9931 |
and
|
|
|
b1f9931 |
.BR explain/1.
|
|
|
b1f9931 |
-.RE
|
|
|
b1f9931 |
-.SH FILES
|
|
|
b1f9931 |
-This installation of SWI-Prolog has been configured using the configure
|
|
|
b1f9931 |
-option
|
|
|
b1f9931 |
-.BI \-\-prefix= @prefix@.
|
|
|
b1f9931 |
-If the files listed below are not at the indicated place, the installation
|
|
|
b1f9931 |
-has probably been moved. Use
|
|
|
b1f9931 |
-.TP
|
|
|
b1f9931 |
-?- current_prolog_flag(home, Home).
|
|
|
b1f9931 |
-.P
|
|
|
b1f9931 |
-to find the local installation directory of SWI-Prolog.
|
|
|
b1f9931 |
-.TP
|
|
|
b1f9931 |
-.I .plrc
|
|
|
b1f9931 |
-.TP
|
|
|
b1f9931 |
-.I ~/.plrc
|
|
|
b1f9931 |
-Personal initialisation files consulted by SWI-Prolog on startup.
|
|
|
b1f9931 |
-If both exist
|
|
|
b1f9931 |
-.I .plrc
|
|
|
b1f9931 |
-is used.
|
|
|
b1f9931 |
-.TP
|
|
|
d1202d8 |
-.I @prefix@/lib/@PL@-@PLVERSION@/bin/@PLARCH@/
|
|
|
b1f9931 |
-Location for the executables.
|
|
|
b1f9931 |
-.TP
|
|
|
b1f9931 |
-.I @prefix@/lib/@PL@-@PLVERSION@/include/
|
|
|
b1f9931 |
-Location for the include files. If writable, SWI-Prolog.h is also
|
|
|
b1f9931 |
-copied to @prefix@/include/SWI-Prolog.h.
|
|
|
b1f9931 |
-.TP
|
|
|
b1f9931 |
-.I @prefix@/lib/@PL@-@PLVERSION@/library/
|
|
|
b1f9931 |
-SWI-Prolog user libraries.
|
|
|
b1f9931 |
-.TP
|
|
|
b1f9931 |
-.I @prefix@/lib/@PL@-@PLVERSION@/boot/
|
|
|
b1f9931 |
-SWI-Prolog kernel parts written in Prolog. The startup file
|
|
|
b1f9931 |
-@prefix@/lib/@PL@-@PLVERSION@/boot32.prc may be recreated using
|
|
|
b1f9931 |
-the command from the directory @prefix@/lib/@PL@-@PLVERSION@:
|
|
|
b1f9931 |
-.RS
|
|
|
b1f9931 |
-.TP
|
|
|
d1202d8 |
-bin/@PLARCH@/@PL@ \-O \-o boot32.prc \-b boot/init.pl
|
|
|
b1f9931 |
-.RE
|
|
|
b1f9931 |
-.TP
|
|
|
b1f9931 |
-.I @prefix@/lib/@PL@-@PLVERSION@/doc/packages
|
|
|
b1f9931 |
-HTML and/or PDF documentation on the installed add-ons.
|
|
|
b1f9931 |
-.TP
|
|
|
b1f9931 |
-.I @prefix@/lib/@PL@-@PLVERSION@/boot32.prc
|
|
|
b1f9931 |
-Default startup file. This is a `intermediate code' file containing
|
|
|
b1f9931 |
-precompiled code from the boot directory. The
|
|
|
b1f9931 |
-.BI \-x bootfile
|
|
|
b1f9931 |
-option may be used to select a different file.
|
|
|
b1f9931 |
-.TP
|
|
|
d1202d8 |
-.I @prefix@/lib/@PL@-@PLVERSION@/runtime/@PLARCH@/libpl.a
|
|
|
b1f9931 |
-SWI-Prolog library for embedding. See also
|
|
|
b1f9931 |
-.I plld(1).
|
|
|
b1f9931 |
.SH SEE ALSO
|
|
|
b1f9931 |
.PP
|
|
|
b1f9931 |
The SWI-Prolog web-home at
|
|
|
d1202d8 |
@@ -397,9 +346,6 @@ Jan\ Wielemaker
|
|
|
d1202d8 |
.IR "SWI-Prolog Reference Manual" " at"
|
|
|
3e587af |
.I http://www.swi-prolog.org/pldoc/index.html
|
|
|
b1f9931 |
.PP
|
|
|
b1f9931 |
-Documentation on the add-on packages in
|
|
|
b1f9931 |
-.I @prefix@/lib/@PL@-@PLVERSION@/boot/doc
|
|
|
b1f9931 |
-.PP
|
|
|
b1f9931 |
William\ F.\ Clocksin & Christopher\ S.\ Mellish,
|
|
|
b1f9931 |
.IR "Programming in Prolog" ,
|
|
|
b1f9931 |
fourth edition, Springer Verlag, Berlin 1994.
|
|
|
d1202d8 |
--
|
|
|
d1202d8 |
1.7.6
|
|
|
d1202d8 |
|