diff options
| -rw-r--r-- | man/building.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/man/building.texi b/man/building.texi index a4c63ed6878..3b666821c84 100644 --- a/man/building.texi +++ b/man/building.texi | |||
| @@ -626,7 +626,7 @@ the result of compiling @file{@var{lib}.el}; it is better to load the | |||
| 626 | compiled file, since it will load and run faster. | 626 | compiled file, since it will load and run faster. |
| 627 | 627 | ||
| 628 | If @code{load-library} finds that @file{@var{lib}.el} is newer than | 628 | If @code{load-library} finds that @file{@var{lib}.el} is newer than |
| 629 | @file{@var{lib}.elc} file, it prints a warning, because it's likely that | 629 | @file{@var{lib}.elc} file, it issues a warning, because it's likely that |
| 630 | somebody made changes to the @file{.el} file and forgot to recompile | 630 | somebody made changes to the @file{.el} file and forgot to recompile |
| 631 | it. | 631 | it. |
| 632 | 632 | ||