diff options
author | Paul Smith <psmith@gnu.org> | 2004-12-06 15:03:45 +0000 |
---|---|---|
committer | Paul Smith <psmith@gnu.org> | 2004-12-06 15:03:45 +0000 |
commit | dff0be9e68c57435f017f912e78730eafa3d58e5 (patch) | |
tree | 4c05015a9c24d7f25273257d22379735dd2644ed /doc/make.texi | |
parent | 6c2179059550ac8e9db87c119bc01b8b2959d2ff (diff) | |
download | gunmake-dff0be9e68c57435f017f912e78730eafa3d58e5.tar.gz |
Handle build.sh in a better way (recommendation from the automake mailing
list).
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 |