From 85935955bf8118a042900a8d1d7a563c7cc08bad Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Cl=C3=A9ment=20Oudot?= <clement@oodo.net>
Date: Wed, 1 Mar 2017 18:12:46 +0000
Subject: [PATCH] Restore jquery-ui (in case not provided by debian libs or
 external)

---
 scripts/doc.pl | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/scripts/doc.pl b/scripts/doc.pl
index 230fad571..2d934d217 100755
--- a/scripts/doc.pl
+++ b/scripts/doc.pl
@@ -118,6 +118,9 @@ $jqueryui#;
     close F;
 }
 
+# Restore jquery-ui
+system('cp ../lemonldap-ng-portal/site/htdocs/static/bwr/jquery-ui/* pages/documentation/current/lib/scripts/');
+
 # Put content in a container
 system('find . -name \*.html -exec sed -i "s#<div class=\"dokuwiki export\">#<div class=\"dokuwiki export container\">#" {} \;');