From 886554d410b86196bb48d693768a3e4956d383fc Mon Sep 17 00:00:00 2001
From: Matt Jia <mjia@redhat.com>
Date: Jul 31 2017 05:26:12 +0000
Subject: Jenkinsfile: remove the leftover docs-on-pagure directory


The docs-on-pagure directory could be left from the previous build which
will cause this error:

fatal: destination path 'docs-on-pagure' already exists and is not an empty directory.

So we need to clean it up.

---

diff --git a/Jenkinsfile b/Jenkinsfile
index c4be7b0..1969b1b 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -28,6 +28,7 @@ node('fedora') {
                 touch ~/.ssh/known_hosts
                 ssh-keygen -R pagure.io
                 echo 'pagure.io,140.211.169.204 ssh-rsa AAAAB3NzaC1yc2EAAAADAQABAAABAQC198DWs0SQ3DX0ptu+8Wq6wnZMrXUCufN+wdSCtlyhHUeQ3q5B4Hgto1n2FMj752vToCfNTn9mWO7l2rNTrKeBsELpubl2jECHu4LqxkRVihu5UEzejfjiWNDN2jdXbYFY27GW9zymD7Gq3u+T/Mkp4lIcQKRoJaLobBmcVxrLPEEJMKI4AJY31jgxMTnxi7KcR+U5udQrZ3dzCn2BqUdiN5dMgckr4yNPjhl3emJeVJ/uhAJrEsgjzqxAb60smMO5/1By+yF85Wih4TnFtF4LwYYuxgqiNv72Xy4D/MGxCqkO/nH5eRNfcJ+AJFE7727F7Tnbo4xmAjilvRria/+l' >>~/.ssh/known_hosts
+                rm -rf docs-on-pagure
                 git clone ssh://git@pagure.io/docs/waiverdb.git docs-on-pagure
                 rm -r docs-on-pagure/*
                 cp -r docs/_build/html/* docs-on-pagure/