From: Ben Pfaff <blp@cs.stanford.edu>
Date: Mon, 8 Dec 2014 06:36:36 +0000 (-0800)
Subject: doc: Add section on how to exit PSPP to the tutorial.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=6a38a2cb3ab0e2987e049e761122b1d2a61468a7;hp=6a38a2cb3ab0e2987e049e761122b1d2a61468a7;p=pspp

doc: Add section on how to exit PSPP to the tutorial.

Daniel Schlieper reported that he had trouble figuring out how to
exit.  The FINISH command was already documented, but it wasn't
mentioned in the tutorial, so perhaps this will help.

Bug #43766.
---