Commit 3163711e authored by Thomas Boni's avatar Thomas Boni
Browse files

use a real bash test

parent 128e1e87
Loading
Loading
Loading
Loading
+1 −1
Original line number Diff line number Diff line
@@ -5,7 +5,7 @@ pages:
  variables:
    PAGES_BUILD_PATH: 'documentation_build/'
  script:
    - "[[ $PAGES_BUILD_PATH != 'public' ]] && [[ $PAGES_BUILD_PATH != 'public/' ]] && mv $PAGES_BUILD_PATH public"
    - if [[ "$PAGES_BUILD_PATH" != "public" -a "PAGES_BUILD_PATH" != "public/" ]]; then mv "$PAGES_BUILD_PATH" public; fi
  artifacts:
    paths:
      - public