diff options
| -rw-r--r-- | gdb/doc/Makefile.in | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gdb/doc/Makefile.in b/gdb/doc/Makefile.in index 4664bc7..755109c 100644 --- a/gdb/doc/Makefile.in +++ b/gdb/doc/Makefile.in @@ -52,8 +52,8 @@ all: gdb.info gdbint.info install: force for i in *.info* ; do \ echo Installing $$i... ; \ - (cp $$i $(idestdir)/info/$$i.new \ - && mv -f $(idestdir)/info/$$i.new $(idestdir)/info/$$i) \ + (cp $$i $(idestdir)/info/$$i.n \ + && mv -f $(idestdir)/info/$$i.n $(idestdir)/info/$$i) \ || exit 1 ; \ done |