X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fpspp.texi;h=d5844a5a3485c5371b6512f62190bbaee6de802e;hb=85b541db4518af0b83460f81408ffd24b37a2523;hp=74ce9d7386dcb2d3a52b426f8be670cf4a71b45a;hpb=37c23898ed6ba5068e7edf64e3c91459044629d1;p=pspp

diff --git a/doc/pspp.texi b/doc/pspp.texi
index 74ce9d7386..d5844a5a34 100644
--- a/doc/pspp.texi
+++ b/doc/pspp.texi
@@ -113,6 +113,7 @@ in the production of this manual.
 * Utilities::                   Other commands.
 
 * Invoking pspp-convert::       Utility for converting among file formats.
+* Invoking pspp-dump-sav::      Utility for examining raw .sav files.
 * Not Implemented::             What's not here yet
 * Bugs::                        Known problems; submitting bug reports.
 
@@ -141,6 +142,7 @@ in the production of this manual.
 @include utilities.texi
 
 @include pspp-convert.texi
+@include pspp-dump-sav.texi
 @include not-implemented.texi
 @include bugs.texi