4VERSION=$(grep -e '^Version' pandoc.cabal | awk '{print $2}')
5RESOURCES=$DIST/Resources
10echo Removing old files...
14echo Building pandoc...
15sudo cabal-dev install-deps
16sudo cabal-dev install --reinstall --flags="embed_data_files" citeproc-hs
17sudo cabal-dev install --disable-library-for-ghci highlighting-kate
18sudo cabal-dev install --prefix=/usr/local --datasubdir=$BASE --docdir=/usr/local/doc/$BASE --flags="executable -library"
19sudo cabal-dev copy --destdir=$ROOT
20sudo chown -R $ME:staff $DIST
22gzip $ROOT/usr/local/share/man/man?/*.*
23# cabal gives man pages the wrong permissions
24chmod +r $ROOT/usr/local/share/man/man?/*.*
26echo Copying license...
27cp COPYING $RESOURCES/License.txt
29PACKAGEMAKER=/Developer/Applications/Utilities/PackageMaker.app/Contents/MacOS/PackageMaker
31echo Creating OSX package...
35 --id net.johnmacfarlane.pandoc \
36 --resources $RESOURCES \
41echo Creating disk image...
43hdiutil create "$BASE.dmg" \
45 -volname "pandoc $VERSION" \
47hdiutil 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