diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/export.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/export.sh b/tools/export.sh index 7fe0b8d72..5d0db628a 100755 --- a/tools/export.sh +++ b/tools/export.sh @@ -14,7 +14,7 @@ tagstr=`echo ${version} | sed -e 's/\./_/g'` svn copy "${repo}/trunk" "${repo}/tags/${name}_${tagstr}" -m "tagged ${version} release" svn export . "${expath}" svn log -v "${repo}/tags/${name}_${tagstr}" > "${expath}/ChangeLog" -cd "${expath}"/doc && make +cd "${expath}"/doc && make manual.pdf cd /tmp tar czf "${tarname}" "${name}-${version}" |