diff options
author | Matteo Bernardini | 2019-10-12 08:21:51 +0200 |
---|---|---|
committer | Matteo Bernardini | 2019-10-12 08:21:51 +0200 |
commit | c4eaef19b5e3bdc8c4434b8361dff2b267b02b61 (patch) | |
tree | 04a00336b6792c85760bf4a372840936e279c16a /development/camlp5/camlp5.SlackBuild | |
parent | d66a0530d964c06cc3a20ccad1c8071297dedf4b (diff) | |
download | slackbuilds-current-20191012.1.tar.gz |
20191012.1 global branch merge.current-20191012.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 |