javadoc 4 all!

This commit is contained in:
joachimschmidt557 2019-03-21 15:33:04 +01:00
parent f241c91d62
commit 96a890da48

View file

@ -20,14 +20,25 @@ javadoc:
- mkdir public - mkdir public
- mkdir public/base - mkdir public/base
- mkdir public/game - mkdir public/game
- mkdir public/game/map
- mkdir public/game/goals
- mkdir public/game/players
- mkdir public/gui - mkdir public/gui
- mkdir public/gui/components
- mkdir public/gui/views
- mkdir public/tests/student
- cp -r Projektgruppe_*/src/*.html public/ - cp -r Projektgruppe_*/src/*.html public/
- cp -r Projektgruppe_*/src/*.css public/ - cp -r Projektgruppe_*/src/*.css public/
- cp -r Projektgruppe_*/src/package-list public/ - cp -r Projektgruppe_*/src/package-list public/
- cp -r Projektgruppe_*/src/script.js public/ - cp -r Projektgruppe_*/src/script.js public/
- cp -r Projektgruppe_*/src/base/*.html public/base/ - cp -r Projektgruppe_*/src/base/*.html public/base/
- cp -r Projektgruppe_*/src/game/*.html public/game/ - cp -r Projektgruppe_*/src/game/*.html public/game/
- cp -r Projektgruppe_*/src/game/map/*.html public/game/map/
- cp -r Projektgruppe_*/src/game/goals/*.html public/game/goals/
- cp -r Projektgruppe_*/src/game/players/*.html public/game/players/
- cp -r Projektgruppe_*/src/gui/*.html public/gui/ - cp -r Projektgruppe_*/src/gui/*.html public/gui/
- cp -r Projektgruppe_*/src/gui/views/*.html public/gui/views/
- cp -r Projektgruppe_*/src/gui/components/*.html public/gui/components/
artifacts: artifacts:
paths: paths:
- public - public