From 1844bc2ca20b6b29b7a01e75834695abdae966bc Mon Sep 17 00:00:00 2001 From: Andreas Jaeger Date: Sat, 22 Aug 2015 14:35:45 +0200 Subject: [PATCH] Remove special handling for user-guides The directory user-guides is not used anymore, remove special handling of it. Change-Id: I2268f9f4fd37884a6a66483c38ee345d337b915b --- bin/doc-tools-check-languages | 4 ---- 1 file changed, 4 deletions(-) diff --git a/bin/doc-tools-check-languages b/bin/doc-tools-check-languages index a3a8ef28..5eb64d87 100755 --- a/bin/doc-tools-check-languages +++ b/bin/doc-tools-check-languages @@ -148,10 +148,6 @@ function handle_draft_language { mkdir -p publish-docs/draft/$language for book in ${DRAFTS["$language"]}; do case "${book}" in - user-guides) - mv publish-docs/$language/user-guide publish-docs/draft/$language/user-guide - mv publish-docs/$language/user-guide-admin publish-docs/draft/$language/user-guide-admin - ;; install-guide|config-reference) mv publish-docs/$language/draft/$book publish-docs/draft/$language/$book # Remove directory if it's empty and do not fail if it's non-empty