From: Ben Pfaff <blp@gnu.org>
Date: Sun, 8 Oct 2006 16:54:46 +0000 (+0000)
Subject: DISPLAY FILE LABEL is no longer undocumented.
X-Git-Tag: v0.6.0~734
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=733a7755a474053cbf3221e1f182012f8ed51720;p=pspp-builds.git

DISPLAY FILE LABEL is no longer undocumented.
---

diff --git a/tests/command/file-label.sh b/tests/command/file-label.sh
index 72da8029..0d3500eb 100755
--- a/tests/command/file-label.sh
+++ b/tests/command/file-label.sh
@@ -79,13 +79,13 @@ Note that the last line should end with a period: .
 
 /* Display the documents.
 display documents.
-display file label.	/* undocumented feature of PSPP
+display file label.
 
 /* Save the active file then get it and display the documents again.
 save /OUTFILE='foo.save'.
 get /FILE='foo.save'.
 display documents.
-display file label.	/* undocumented feature of PSPP
+display file label.
 
 /* There is an interesting interaction that occurs if the 'execute'
 /* command below.  What happens is that an error message is output
@@ -104,7 +104,7 @@ display documents.
 save /OUTFILE='foo.save'.
 get /FILE='foo.save'.
 display documents.
-display file label.	/* undocumented feature of PSPP
+display file label.
 
 /* Done.