Updated publish_docs.sh script. #10
Updated publish_docs.sh script. #10

opensheetmusicdisplay/opensheetmusicdisplay,opensheetmusicdisplay/opensheetmusicdisplay,opensheetmusicdisplay/opensheetmusicdisplay