From: Simon Ser <contact@emersion.fr>
Date: Thu, 5 May 2022 09:24:11 +0000 (+0200)
Subject: Remove publish-doc
X-Git-Tag: 1.20.91~25
X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=04efea1727f243ac1d243cee40daad1692fe2f90;p=platform%2Fupstream%2Fwayland.git

Remove publish-doc

We don't use this script anymore.

Signed-off-by: Simon Ser <contact@emersion.fr>
---

diff --git a/publish-doc b/publish-doc
deleted file mode 100755
index 80fc22a..0000000
--- a/publish-doc
+++ /dev/null
@@ -1,15 +0,0 @@
-#!/bin/bash
-
-set -e
-
-[ -e doc ] || (echo "Run this from the project root" && exit 1)
-
-make
-
-DOC_HTML=./doc/publican/Wayland/en-US/html/
-
-[ -e "${DOC_HTML}" ] || (echo "HTML documentation failed to build at ${DOC_HTML}" && exit 1)
-
-chmod -R g+x ${DOC_HTML}
-
-rsync --delete -avz ${DOC_HTML} freedesktop.org:/srv/wayland.freedesktop.org/www/docs/html/