diff options
| author | John MacFarlane <fiddlosopher@gmail.com> | 2014-12-19 17:34:46 -0800 |
|---|---|---|
| committer | John MacFarlane <fiddlosopher@gmail.com> | 2014-12-19 17:34:46 -0800 |
| commit | ddd774c40469ce3914cdbc95dd1a63f39f68b10a (patch) | |
| tree | 909dc91aa88193b1cecf551a741fccc39980495d /make_deb.sh | |
| parent | c6ad01dc69beee269cbb9906506e8f476c3677c2 (diff) | |
make_deb.sh - have only copyright, not also COPYING.
Diffstat (limited to 'make_deb.sh')
| -rwxr-xr-x | make_deb.sh | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/make_deb.sh b/make_deb.sh index bb6ba06be..2b755723b 100755 --- a/make_deb.sh +++ b/make_deb.sh @@ -18,6 +18,7 @@ DIST=`pwd`/$BASE MANDIR=`pwd`/man DEST=$DIST/usr ME=$(whoami) +COPYRIGHT=$DEST/share/doc/pandoc/copyright # echo Removing old files... rm -rf $DIST @@ -51,10 +52,10 @@ cp $MANDIR/man5/pandoc_markdown.5 $DEST/share/man/man5/ gzip -9 $DEST/share/man/man5/pandoc_markdown.5 cp $PANDOC_CITEPROC_PATH/man/man1/pandoc-citeproc.1 $DEST/share/man/man1/ gzip -9 $DEST/share/man/man1/pandoc-citeproc.1 -cp COPYING $DEST/share/doc/pandoc/COPYING -cp COPYRIGHT $DEST/share/doc/pandoc/copyright -echo "\npandoc-citeproc" >> $DEST/share/doc/pandoc/copyright -cat $PANDOC_CITEPROC_PATH/LICENSE >> $DEST/share/doc/pandoc/copyright +cp COPYRIGHT $COPYRIGHT +echo "" >> $COPYRIGHT +echo "pandoc-citeproc" >> $COPYRIGHT +cat $PANDOC_CITEPROC_PATH/LICENSE >> $COPYRIGHT rm -rf make_binary_package.tmp.$$ mkdir $DIST/DEBIAN |