Changeset 394
- Timestamp:
- 12/05/09 17:21:52 (3 years ago)
- Location:
- java/JLatexEditor/scripts
- Files:
-
- 2 modified
-
create_release (modified) (1 diff)
-
create_remote_release (modified) (1 diff)
Legend:
- Unmodified
- Added
- Removed
-
java/JLatexEditor/scripts/create_release
r391 r394 14 14 cd releases 15 15 for ext in zip tar.gz; do 16 [ -e latest.$ext ] && rmlatest.$ext17 ln -s $prefix.$ext latest.$ext16 [ -e JLatexEditor-latest.$ext ] && rm JLatexEditor-latest.$ext 17 ln -s $prefix.$ext JLatexEditor-latest.$ext 18 18 done 19 19 -
java/JLatexEditor/scripts/create_remote_release
r392 r394 1 1 #!/bin/bash 2 2 3 ssh 3 ssh ahso create_jlatexeditor_release
![(please configure the [header_logo] section in trac.ini)](http://jlatexeditor.endrullis.de/chrome/site/logo.png)