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 4bcfbf9d7a7..f621706fbbe 100644 --- a/man/building.texi +++ b/man/building.texi | |||
| @@ -10,7 +10,7 @@ | |||
| 10 | 10 | ||
| 11 | The previous chapter discusses the Emacs commands that are useful for | 11 | The previous chapter discusses the Emacs commands that are useful for |
| 12 | making changes in programs. This chapter deals with commands that assist | 12 | making changes in programs. This chapter deals with commands that assist |
| 13 | in the larger process of developing and maintaining programs. | 13 | in the larger process of compiling and testing programs. |
| 14 | 14 | ||
| 15 | @menu | 15 | @menu |
| 16 | * Compilation:: Compiling programs in languages other | 16 | * Compilation:: Compiling programs in languages other |