diff options
Diffstat (limited to 'doc/make.texi')
| -rw-r--r-- | doc/make.texi | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/doc/make.texi b/doc/make.texi index e814ec2..8c367ba 100644 --- a/doc/make.texi +++ b/doc/make.texi @@ -338,8 +338,6 @@ Makefile Conventions * Standard Targets:: Standard Targets for Users * Install Command Categories:: Three categories of commands in the `install' -Copying This Manual - @end detailmenu @end menu |