Change docs creation handling

.gitlab-ci.yml

@@ -70,6 +70,7 @@ build_dev:
     - VERSION=$(node -p "require('./package.json').version")
     - echo "VERSION=${VERSION}" >> build.env
     - npm run build:beta
+    - mv docs/_build/html dist/doc
     - cd dist
     - ln -s PLATIN/php php
     - ln -s PLATIN/data data
@@ -90,6 +91,7 @@ build_live:
     - VERSION=$(node -p "require('./package.json').version")
     - echo "VERSION=${VERSION}" >> build.env
     - npm run build:release
+    - mv docs/_build/html dist/doc
     - cd dist
     - ln -s PLATIN/php php
     - ln -s PLATIN/data data

README.md

@@ -7,13 +7,21 @@
         git clone https://gitlab.gwdg.de/dariah-de/geo-browser.git
         cd geo-browser
 
-2. Check out the platin code (from DARIAH-DE PLATIN fork)
+2. Check out the PLATIN code (from DARIAH-DE PLATIN fork)
 
         git clone https://github.com/DARIAH-DE/PLATIN.git
 
-3. Run and debug Geo-Browser locally (this already includes building PLATIN):
+3. (OPTIONAL) If you want to build the docs as well (requires Python):
+   
+        cd docs
+        pip install -r requirements.txt
+        make clean html
+    and then copy `_build/html` into a new directory `/doc` in the same directory as `index.html` on your server.
+   
+
+4. Run and debug Geo-Browser locally (this already includes building PLATIN):
 
         npm install
         npm start
 
-4. Enjoy your new Geo-Browser installation!
+5. Enjoy your new Geo-Browser installation!

webpack.config.js

@@ -36,10 +36,6 @@ module.exports = {
                 { from: "./PLATIN/images", to: path.resolve(__dirname, './dist/PLATIN/images') },
                 { from: "./PLATIN/images", to: path.resolve(__dirname, './dist/PLATIN/images') },
                 { from: "./PLATIN/php", to: path.resolve(__dirname, './dist/PLATIN/php') },
-               // { from: "./embed/php", to: path.join(__dirname, './dist/embed/php') },
-               // { from: "./php", to: path.join(__dirname, './dist/php') },
-                { from: "./docs/_build/html", to: path.resolve(__dirname, './dist/doc') },
-                // { from: "./data", to: path.join(__dirname, './dist/data') },
                 { from: "./css", to: path.resolve(__dirname, './dist/css') },
                 { from: "./edit/css", to: path.resolve(__dirname, './dist/edit/css') },
                 { from: "./edit/img", to: path.resolve(__dirname, './dist/edit/img') },