From 182719ae43b7f090f1b8835b132345dfa98d2253 Mon Sep 17 00:00:00 2001
From: Miguel de Benito <nonick@8027.org>
Date: Mon, 14 Jan 2013 18:35:25 +0000
Subject: [PATCH] Minor documentation update

---
 devel/scheme/utils/utils-preferences.en.tm | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/devel/scheme/utils/utils-preferences.en.tm b/devel/scheme/utils/utils-preferences.en.tm
index f355ffb..a56719e 100644
--- a/devel/scheme/utils/utils-preferences.en.tm
+++ b/devel/scheme/utils/utils-preferences.en.tm
@@ -1,4 +1,4 @@
-<TeXmacs|1.0.7.15>
+<TeXmacs|1.0.7.17>
 
 <style|tmdoc>
 
@@ -94,7 +94,8 @@
     <scm|(get-preference <scm-arg|name>)><explain-synopsis|get user
     preference>
   <|explain>
-    Returns the value of preference <scm|name>.
+    Returns the value of preference <scm|name>. If the preference is not
+    defined the string <scm|"default"> is returned.
   </explain>
 
   <tmdoc-copyright|2012|>