Merge branch 'refs/heads/charset' of ssh://jmd@git.sv.gnu.org/srv/git/pspp into charset

[pspp-builds.git] / doc / files.texi

diff --git a/doc/files.texi b/doc/files.texi
index 2fd98927bb41e7f0bd46c95a4926d2766bfa9592..1323749057cf68a301ebc964edbf4b941fd796e5 100644 (file)
--- a/doc/files.texi
+++ b/doc/files.texi
@@ -800,4 +800,3 @@ the data is read by a procedure or procedure-like command.
 @end itemize
 
 @xref{SAVE}, for more information.
-@setfilename ignored