4VERSION=$(grep -e '^Version' pandoc.cabal | awk '{print $2}')
5RESOURCES=$DIST/Resources
11echo Removing old files...
15echo Building pandoc...
16sudo cabal-dev install-deps
17sudo cabal-dev install --flags="embed_data_files" citeproc-hs
18sudo cabal-dev install --disable-library-for-ghci highlighting-kate
19sudo cabal-dev install --prefix=/usr/local --datasubdir=$BASE --docdir=/usr/local/doc/$BASE --flags="executable blaze_html_0_5 -library"
20sudo cabal-dev copy --destdir=$ROOT
21sudo chown -R $ME:staff $DIST
23gzip $ROOT/usr/local/share/man/man?/*.*
24# cabal gives man pages the wrong permissions
25chmod +r $ROOT/usr/local/share/man/man?/*.*
27echo Copying license...
28cp COPYING $RESOURCES/License.txt
30PACKAGEMAKER=/Developer/Applications/Utilities/PackageMaker.app/Contents/MacOS/PackageMaker
32echo Creating OSX package...
36 --id net.johnmacfarlane.pandoc \
37 --resources $RESOURCES \
43echo Creating disk image...
45hdiutil create "$BASE.dmg" \
47 -volname "pandoc $VERSION" \
49hdiutil internet-enable "$BASE.dmg"
keysesc to close
- j k
- move down, up
- enter
- open
- esc
- back, or up a level
- 1 2 3 4
- readme, files, commits, refs
- /
- filter
- y
- copy the clone command
- c
- compare the chosen commit with another (or shift-click both)
- ?
- show or hide this list