summaryrefslogtreecommitdiff
path: root/pancake.1
diff options
context:
space:
mode:
authordefanor <defanor@uberspace.net>2018-01-23 15:28:05 +0300
committerdefanor <defanor@uberspace.net>2018-01-23 15:28:05 +0300
commit11e83528df0f4e48d9324b2e4dd82dc58792fb16 (patch)
tree28b256af09b52717552f41c98ccfb32626ca0c3b /pancake.1
parent9e58afe6f706aa4db06e82b35abf329368a0de98 (diff)
Add initial RDF support
With two types of caching: file-based for retrieved documents, and memory-based for predicate labels extracted from those.
Diffstat (limited to 'pancake.1')
-rw-r--r--pancake.12
1 files changed, 1 insertions, 1 deletions
diff --git a/pancake.1 b/pancake.1
index d82bca7..09cdcc6 100644
--- a/pancake.1
+++ b/pancake.1
@@ -32,7 +32,7 @@ Load configuration from a specified file.
.SH COMMANDS
.IP "\fBquit\fR or EOF"
-quit pancake, cleaning the cache
+quit pancake
.IP "\fB[\fR"
back
.IP "\fB]\fR"