[libgda] CI: Create public directory to move documentation to

[Daniel Espinosa Ortiz <despinosa src gnome org>]

commit dec89c326e70b6009ee10202a5d3e30206411b11
Author: Daniel Espinosa <esodan gmail com>
Date:   Thu Jul 26 11:34:44 2018 -0500

    CI: Create public directory to move documentation to

 .gitlab-ci.yml | 1 +
 1 file changed, 1 insertion(+)
---
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 915c26f8a..0172a43d4 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -82,6 +82,7 @@ pages:
   - cd _build
   - ninja
   - ninja install
+  - mkdir ../public
   - mv ../doc/index.html ../public/
   - mv doc/C/* ../public/C/
   - mv doc/libgda-6.0 ../public/vala