From 5d504553a068e97ec4ac01b0ddbc251d7dfc1ea3 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Mon, 4 May 2015 15:07:33 +0200
Subject: Fix documentation of Redirect

---
 CHANGES                   | 8 ++++++++
 doc/refman/RefMan-oth.tex | 2 +-
 2 files changed, 9 insertions(+), 1 deletion(-)

diff --git a/CHANGES b/CHANGES
index b1dffde147..87506dadc1 100644
--- a/CHANGES
+++ b/CHANGES
@@ -1,3 +1,11 @@
+Changes from V8.5beta2 to ...
+===================================
+
+Vernacular commands
+
+- New command "Redirect" to redirect the output of a command to a file.
+
+
 Changes from V8.5beta1 to V8.5beta2
 ===================================
 
diff --git a/doc/refman/RefMan-oth.tex b/doc/refman/RefMan-oth.tex
index aa0291a23f..739a89af4c 100644
--- a/doc/refman/RefMan-oth.tex
+++ b/doc/refman/RefMan-oth.tex
@@ -877,7 +877,7 @@ go();;
 This command executes the vernacular command \textrm{\textsl{command}}
 and display the time needed to execute it.
 
-\subsection[\tt Time \textrm{\textsl{command}}.]{\tt Redirect "\textrm{\textsl{file}}" \textrm{\textsl{command}}.\comindex{Redirect}
+\subsection[\tt Redirect "\textrm{\textsl{file}}" \textrm{\textsl{command}}.]{\tt Redirect "\textrm{\textsl{file}}" \textrm{\textsl{command}}.\comindex{Redirect}
 \label{redirect}}
 This command executes the vernacular command \textrm{\textsl{command}}, redirecting its output to ``\textrm{\textsl{file}}.out''.
 
-- 
cgit v1.2.3