diff options
author | Matteo Bernardini | 2019-12-31 15:55:40 +0100 |
---|---|---|
committer | Matteo Bernardini | 2019-12-31 15:55:40 +0100 |
commit | 30778e822d6ef153cd8936acaa45deeeb8f5374a (patch) | |
tree | 9605719730f63b62fb4e9c22167b36c60ceb950f /development/camlp5/camlp5.SlackBuild | |
parent | 82bbd880da5d554ddb98a82fcf8c17cc2131d56a (diff) | |
download | slackbuilds-30778e822d6ef153cd8936acaa45deeeb8f5374a.tar.gz |
20191231.1 global branch merge.current-20191231.1
Signed-off-by: Matteo Bernardini <ponce@slackbuilds.org>
Diffstat (limited to 'development/camlp5/camlp5.SlackBuild')
-rw-r--r-- | development/camlp5/camlp5.SlackBuild | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/development/camlp5/camlp5.SlackBuild b/development/camlp5/camlp5.SlackBuild index 1f504f9e2a..5e7034d981 100644 --- a/development/camlp5/camlp5.SlackBuild +++ b/development/camlp5/camlp5.SlackBuild @@ -1,5 +1,7 @@ #!/bin/sh # +# Slackware build script for camlp5 +# # This program is free software: you can redistribute it and/or modify # it under the terms of the GNU General Public License as published by # the Free Software Foundation, either version 3 of the License, or @@ -12,15 +14,13 @@ # # You should have received a copy of the GNU General Public License # along with this program. If not, see <http://www.gnu.org/licenses/>. -# -# Slackware build script for camlp5 # Written by adaptr (jeroen@adaptr.nl) # Rewrite for updated camlp5 Panagiotis Nikolaou, Culver City, CA PRGNAM=camlp5 -VERSION=${VERSION:-7.05} -SRCVER=rel705 +VERSION=${VERSION:-7.10} +SRCVER=rel710 BUILD=${BUILD:-1} TAG=${TAG:-_SBo} @@ -81,7 +81,7 @@ find $PKG/usr/man -type f -exec gzip -9 {} \; for i in $( find $PKG/usr/man -type l ) ; do ln -s $( readlink $i ).gz $i.gz ; rm $i ; done mkdir -p $PKG/usr/doc/$PRGNAM-$VERSION -cp -a CHANGES INSTALL LICENSE MODE README $PKG/usr/doc/$PRGNAM-$VERSION/ +cp -a CHANGES LICENSE MODE README* $PKG/usr/doc/$PRGNAM-$VERSION/ ## Build TeX, PS, PDF, TeXinfo and HTML Documentation cd doc/htmlp |