X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fbugs.texi;h=96c1ed2227d0fd3d657cc6a41c9898669e4de7d6;hb=refs%2Fbuilds%2F20121121031958%2Fpspp;hp=cbf10efbb6ceccde3a5c5c2510afb3b9865beaae;hpb=90ccf3ed26acbf183e346f6b61d07520882a4701;p=pspp

diff --git a/doc/bugs.texi b/doc/bugs.texi
index cbf10efbb6..96c1ed2227 100644
--- a/doc/bugs.texi
+++ b/doc/bugs.texi
@@ -3,12 +3,12 @@
 
 @cindex bugs
 
-Occasionally users encounter problems with PSPP.
+Occasionally users encounter problems with @pspp{}.
 When such problems arise we do our best to fix them, but our limited
 resources mean that certain issues may remain for some time.
 If you discover a bug, please first:
 @itemize @bullet
-@item Try an up to date version of PSPP; it may be that the problem 
+@item Try an up to date version of @pspp{}; it may be that the problem 
  has recently been fixed.
 @item If the problem persists in the up to date version; check to see
  if it has already been reported.
@@ -16,14 +16,14 @@ If you discover a bug, please first:
  been reported, please file a report.
 @end itemize
 
-To see a list of reported bugs, visit PSPP's project webpage at
+To see a list of reported bugs, visit @pspp{}'s project webpage at
 @uref{http://savannah.gnu.org/bugs/?group=pspp}
 Alternatively, bug reports may be sent by email
 to @email{bug-gnu-pspp@@gnu.org}.
 
 In your bug report please include:
 @itemize @bullet
-@item The version of PSPP which you are using.
+@item The version of @pspp{} which you are using.
 @item The operating system and type of computer on which it is running.
 @item A sample of the syntax which causes the problem or, if it is a user
  interface problem, the sequence of steps required to reproduce it.