doc: Use --css-ref option to makeinfo, instead of postprocessing with sed.

[pspp] / doc / pspp.texi

diff --git a/doc/pspp.texi b/doc/pspp.texi
index cc503aa26a677240f5ad03a1d33a77e06e984c6a..c49a0b87e76bf692ad7694cd003bf551ae9fbe39 100644 (file)
--- a/doc/pspp.texi
+++ b/doc/pspp.texi
@@ -36,7 +36,7 @@ graphic user interface
 @macro psppoutput{FILE}
 @ifnothtml
 @smallexample
-@verbatiminclude \FILE\.out
+@include \FILE\.texi
 @end smallexample
 @end ifnothtml
 @ifhtml