@@ -18,6 +18,7 @@ DIST=`pwd`/$BASE
18MANDIR=`pwd`/man
18MANDIR=`pwd`/man
19DEST=$DIST/usr
19DEST=$DIST/usr
20ME=$(whoami)
20ME=$(whoami)
21+COPYRIGHT=$DEST/share/doc/pandoc/copyright
22# echo Removing old files...
23# echo Removing old files...
23rm -rf $DIST
24rm -rf $DIST
@@ -51,10 +52,10 @@ cp $MANDIR/man5/pandoc_markdown.5 $DEST/share/man/man5/
51gzip -9 $DEST/share/man/man5/pandoc_markdown.5
52gzip -9 $DEST/share/man/man5/pandoc_markdown.5
52cp $PANDOC_CITEPROC_PATH/man/man1/pandoc-citeproc.1 $DEST/share/man/man1/
53cp $PANDOC_CITEPROC_PATH/man/man1/pandoc-citeproc.1 $DEST/share/man/man1/
53gzip -9 $DEST/share/man/man1/pandoc-citeproc.1
54gzip -9 $DEST/share/man/man1/pandoc-citeproc.1
54−cp COPYING $DEST/share/doc/pandoc/COPYING
55+cp COPYRIGHT $COPYRIGHT
55−cp COPYRIGHT $DEST/share/doc/pandoc/copyright
56+echo "" >> $COPYRIGHT
56−echo "\npandoc-citeproc" >> $DEST/share/doc/pandoc/copyright
57+echo "pandoc-citeproc" >> $COPYRIGHT
57−cat $PANDOC_CITEPROC_PATH/LICENSE >> $DEST/share/doc/pandoc/copyright
58+cat $PANDOC_CITEPROC_PATH/LICENSE >> $COPYRIGHT
58rm -rf make_binary_package.tmp.$$
59rm -rf make_binary_package.tmp.$$
60mkdir $DIST/DEBIAN
61mkdir $DIST/DEBIAN