From 00835efd44fc8ad7c1b1159a88a035f5cb2e0dec Mon Sep 17 00:00:00 2001 From: Willy Kloucek Date: Thu, 12 Nov 2020 19:44:02 +0100 Subject: [PATCH] remove accidentally added Makefile --- docs/Makefile | 11 ----------- 1 file changed, 11 deletions(-) delete mode 100644 docs/Makefile diff --git a/docs/Makefile b/docs/Makefile deleted file mode 100644 index 6475bef925..0000000000 --- a/docs/Makefile +++ /dev/null @@ -1,11 +0,0 @@ - -.PHONY: docs-copy -docs-copy: - mkdir -p hugo/content/; \ - cd hugo; \ - git init; \ - git remote rm origin; \ - git remote add origin https://github.com/owncloud/owncloud.github.io; \ - git fetch --depth=1; \ - git checkout origin/source -f; \ - rsync -ax --delete --exclude hugo/ --exclude Makefile ../. content/; \