From 11eb38eafbeed15a76ce85ced35b2f74094f6c1c Mon Sep 17 00:00:00 2001
From: Mike McLean <mikem@redhat.com>
Date: Apr 30 2018 20:53:14 +0000
Subject: PR#883: Doc: add repos-dist to koji filesystem skeleton


Merges #883
https://pagure.io/koji/pull-request/883

---

diff --git a/docs/source/server_howto.rst b/docs/source/server_howto.rst
index be92b4d..6b17c08 100644
--- a/docs/source/server_howto.rst
+++ b/docs/source/server_howto.rst
@@ -739,7 +739,7 @@ needed.
     cd /mnt
     mkdir koji
     cd koji
-    mkdir {packages,repos,work,scratch}
+    mkdir {packages,repos,work,scratch,repos-dist}
     chown apache.apache *
 
 SELinux Configuration