diff src/pt-plot.cc @ 3458:d25bc039237b

[project @ 2000-01-19 09:36:14 by jwe]
author jwe
date Wed, 19 Jan 2000 09:36:28 +0000
parents 86e1068c2abb
children 78e1e0007f0f
line wrap: on
line diff
--- a/src/pt-plot.cc	Wed Jan 19 08:50:14 2000 +0000
+++ b/src/pt-plot.cc	Wed Jan 19 09:36:28 2000 +0000
@@ -1141,7 +1141,8 @@
 }
 
 DEFUN_TEXT (set, args, nargout,
-  "This command is has been replaced by `gset'.")
+  "-*- texinfo -*-\n\
+This command is has been replaced by @code{gset}.")
 {
   warning ("set is obsolete -- use gset instead");
   return Fgset (args, nargout);
@@ -1178,7 +1179,8 @@
 }
 
 DEFUN_TEXT (show, args, nargout,
-  "This command is has been replaced by `gshow'.")
+  "-*- texinfo -*-\n\
+This command is has been replaced by @code{gshow}.")
 {
   warning ("show is obsolete -- use gshow instead");
   return Fgshow (args, nargout);