# HG changeset patch # User Richard M. Stallman # Date 998705068 0 # Node ID 4dd9aeae2f8483bbed803f695749e906a19d2fdc # Parent 1367ba8d29bff5f747b5920554ea86813cbde804 Don't use "prints" except for printers. diff -r 1367ba8d29bf -r 4dd9aeae2f84 man/building.texi --- a/man/building.texi Sat Aug 25 02:03:46 2001 +0000 +++ b/man/building.texi Sat Aug 25 02:04:28 2001 +0000 @@ -626,7 +626,7 @@ compiled file, since it will load and run faster. If @code{load-library} finds that @file{@var{lib}.el} is newer than -@file{@var{lib}.elc} file, it prints a warning, because it's likely that +@file{@var{lib}.elc} file, it issues a warning, because it's likely that somebody made changes to the @file{.el} file and forgot to recompile it.