diff options
Diffstat (limited to 'gnu/lib')
-rw-r--r-- | gnu/lib/libreadline/history/Makefile | 2 | ||||
-rw-r--r-- | gnu/lib/libreadline/readline/doc/Makefile | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/gnu/lib/libreadline/history/Makefile b/gnu/lib/libreadline/history/Makefile index 7c83496..1602872 100644 --- a/gnu/lib/libreadline/history/Makefile +++ b/gnu/lib/libreadline/history/Makefile @@ -8,7 +8,7 @@ MAN= rlhistory.3 SRCS= $(HISTSRC) xmalloc.c rlhistory.3: doc/history.3 - cp ${.ALLSRC} ${.TARGET} + cp -f ${.ALLSRC} ${.TARGET} CLEANFILES+= rlhistory.3 diff --git a/gnu/lib/libreadline/readline/doc/Makefile b/gnu/lib/libreadline/readline/doc/Makefile index 42254de..7028971 100644 --- a/gnu/lib/libreadline/readline/doc/Makefile +++ b/gnu/lib/libreadline/readline/doc/Makefile @@ -13,7 +13,7 @@ CLEANFILES += readline.texi readline.info: rlman.texi rluser.texi rltech.texi version.texi fdl.texi readline.texi: rlman.texi - cp ${SRCDIR}/rlman.texi ${.TARGET} + cp -f ${SRCDIR}/rlman.texi ${.TARGET} rluserman.info: rluserman.texi version.texi rluser.texi fdl.texi |