From 2b1c842a7da9480356537925fb6117b45e90ce13 Mon Sep 17 00:00:00 2001 From: Nicolas Sebrecht Date: Fri, 21 Apr 2017 21:03:14 +0200 Subject: [PATCH] website-doc: force copy of the new HTML generated man pages Signed-off-by: Nicolas Sebrecht --- docs/website-doc.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/website-doc.sh b/docs/website-doc.sh index a7f1ee2..8c01355 100755 --- a/docs/website-doc.sh +++ b/docs/website-doc.sh @@ -132,7 +132,7 @@ function manhtml () { cd ./docs make manhtml cd .. - cp -av ./docs/manhtml/* "$DOCBASE" + cp -afv ./docs/manhtml/* "$DOCBASE" }