From d95513ae15c16e26a435f59213bbf9e584c7f41b Mon Sep 17 00:00:00 2001 From: "Roger A. Light" Date: Mon, 25 May 2020 23:41:17 +0100 Subject: [PATCH] Man pages generated as part of web page, so no need to copy. --- Makefile | 1 - 1 file changed, 1 deletion(-) diff --git a/Makefile b/Makefile index 40691a09..125e24c2 100644 --- a/Makefile +++ b/Makefile @@ -110,7 +110,6 @@ sign : dist copy : sign cd dist; scp mosquitto-${VERSION}.tar.gz mosquitto-${VERSION}.tar.gz.asc mosquitto:site/mosquitto.org/files/source/ - cd dist; scp *.html mosquitto:site/mosquitto.org/man/ scp ChangeLog.txt mosquitto:site/mosquitto.org/ coverage :