]> mj.ucw.cz Git - pciids.git/blob - scripts/update-web
projects / pciids.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
update-web
[pciids.git] / scripts / update-web
1 #!/bin/bash
2 set -e
3
4 [ -d docs ]
5 rsync -av perl/static/ docs/static/
6 rsync -av perl/index.html docs/
Unnamed repository; edit this file to name it for gitweb.