diff options
| author | B. Watson <yalhcru@gmail.com> | 2020-01-04 06:12:33 -0500 |
|---|---|---|
| committer | Willy Sudiarto Raharjo <willysr@slackbuilds.org> | 2020-01-12 08:47:43 +0700 |
| commit | 9618c13f4f92a23eead1cf4cab3a35556435fc99 (patch) | |
| tree | e2c863c586a41aabe21b3595561762428791aa45 /office/bibtex2html/bibtex2html.SlackBuild | |
| parent | 19c2d09fa15ce5fd4937df8257c61f11c71c4ae8 (diff) | |
office/bibtex2html: Make sbolint happy.
Signed-off-by: B. Watson <yalhcru@gmail.com>
Diffstat (limited to 'office/bibtex2html/bibtex2html.SlackBuild')
| -rw-r--r-- | office/bibtex2html/bibtex2html.SlackBuild | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/office/bibtex2html/bibtex2html.SlackBuild b/office/bibtex2html/bibtex2html.SlackBuild index 86b38c06fcf3..61fb63b6d405 100644 --- a/office/bibtex2html/bibtex2html.SlackBuild +++ b/office/bibtex2html/bibtex2html.SlackBuild @@ -82,10 +82,12 @@ CXXFLAGS="$SLKCFLAGS" \ # so we need to patch this to be based in ${prefix}, as for `BINDIR`. sed -i 's/MANDIR = \/usr\/man/MANDIR = ${prefix}\/man/' Makefile +###sbolint off # Compile the application and install it into the $PKG directory. As # the Makefile does not support `DESTDIR`, in this case we need to use # `prefix`. Only `/usr/bin` and `/usr/man` are installed, so it is # enough to specify `$PKG/usr`. +###sbolint on make make install prefix=$PKG/usr |