Description: Fix FTBS "cp to same file"
 cp is complaining about copying to the same file. latex2html puts
 those as hardlinks first, "cp -f" then complains. We use "cp
 --remove-destination" instead, which removes without looking first.
Author: Carsten Leonhardt <leo@debian.org>
Last-Update: 2023-02-06
Bug-Debian: 1002245
Forwarded: not-needed

--- a/manuals/en/console/web.makefile
+++ b/manuals/en/console/web.makefile
@@ -48,5 +48,5 @@
 	@rm -f ${DOC}/xp-*.png
 	@rm -f	${DOC}/next.png  ${DOC}/prev.png  ${DOC}/up.png
 	@${LATEX_TO_HTML}
-	@cp -f ${DOC}/${MAINDOC} ${DOC}/index.html
+	@cp --remove-destination ${DOC}/${MAINDOC} ${DOC}/index.html
 	@echo "Done making web"
--- a/manuals/en/developers/web.makefile
+++ b/manuals/en/developers/web.makefile
@@ -46,5 +46,5 @@
 	@rm -f ${DOC}/xp-*.png
 	@rm -f	${DOC}/next.png  ${DOC}/prev.png  ${DOC}/up.png
 	@${LATEX_TO_HTML}
-	@cp -f ${DOC}/${MAINDOC} ${DOC}/index.html
+	@cp --remove-destination ${DOC}/${MAINDOC} ${DOC}/index.html
 	@echo "Done making web"
--- a/manuals/en/main/web.makefile
+++ b/manuals/en/main/web.makefile
@@ -45,5 +45,5 @@
 	@rm -f ${DOC}/xp-*.png
 	@rm -f	${DOC}/next.png  ${DOC}/prev.png  ${DOC}/up.png
 	@${LATEX_TO_HTML}
-	@cp -f ${DOC}/${MAINDOC} ${DOC}/index.html
+	@cp --remove-destination ${DOC}/${MAINDOC} ${DOC}/index.html
 	@echo "Done making web"
--- a/manuals/en/misc/web.makefile
+++ b/manuals/en/misc/web.makefile
@@ -47,5 +47,5 @@
 	@rm -f ${DOC}/xp-*.png
 	@rm -f	${DOC}/next.png  ${DOC}/prev.png  ${DOC}/up.png
 	@${LATEX_TO_HTML}
-	@cp -f ${DOC}/${MAINDOC} ${DOC}/index.html
+	@cp --remove-destination ${DOC}/${MAINDOC} ${DOC}/index.html
 	@echo "Done making web"
--- a/manuals/en/problems/web.makefile
+++ b/manuals/en/problems/web.makefile
@@ -45,5 +45,5 @@
 	@rm -f ${DOC}/xp-*.png
 	@rm -f ${DOC}/next.png ${DOC}/prev.png ${DOC}/up.png
 	@${LATEX_TO_HTML}
-	@cp -f ${DOC}/${MAINDOC} ${DOC}/index.html
+	@cp --remove-destination ${DOC}/${MAINDOC} ${DOC}/index.html
 	@echo "Done making web"
--- a/manuals/en/utility/web.makefile
+++ b/manuals/en/utility/web.makefile
@@ -48,5 +48,5 @@
 	@rm -f ${DOC}/xp-*.png
 	@rm -f ${DOC}/next.png ${DOC}/prev.png ${DOC}/up.png
 	@${LATEX_TO_HTML}
-	@cp -f ${DOC}/${MAINDOC} ${DOC}/index.html
+	@cp --remove-destination ${DOC}/${MAINDOC} ${DOC}/index.html
 	@echo "Done making web"
