mirror of
https://git.FreeBSD.org/ports.git
synced 2024-11-23 00:43:28 +00:00
* Use makeinfo --no-split to avoid plist problems [1]
* Fix the ordering of DISTNAME to quiet portlint PR: 54312 [1] Submitted by: nork [1]
This commit is contained in:
parent
f7925e1dcb
commit
92734c4711
Notes:
svn2git
2021-03-31 03:12:20 +00:00
svn path=/head/; revision=84744
@ -7,13 +7,12 @@
|
||||
|
||||
PORTNAME= sawfish
|
||||
PORTVERSION= 1.2
|
||||
PORTREVISION= 1
|
||||
CATEGORIES= x11-wm
|
||||
MASTER_SITES= ${MASTER_SITE_SOURCEFORGE}
|
||||
MASTER_SITE_SUBDIR= sawmill
|
||||
#MASTER_SITES= ${MASTER_SITE_GNOME}
|
||||
#MASTER_SITE_SUBDIR= stable/sources/sawfish
|
||||
DIST_SUBDIR= gnome
|
||||
DISTNAME= ${PORTNAME}-${PORTVERSION}-gtk1
|
||||
DIST_SUBDIR= gnome
|
||||
|
||||
MAINTAINER= gnome@FreeBSD.org
|
||||
COMMENT= Lisp configurable window manager
|
||||
|
11
x11-wm/sawfish/files/patch-man::Makefile.in
Normal file
11
x11-wm/sawfish/files/patch-man::Makefile.in
Normal file
@ -0,0 +1,11 @@
|
||||
--- man/Makefile.in.orig Mon Apr 15 05:01:49 2002
|
||||
+++ man/Makefile.in Thu Jul 10 18:05:27 2003
|
||||
@@ -27,7 +27,7 @@
|
||||
|
||||
SRCS = sawmill.texi news.texi faq.texi
|
||||
|
||||
-MAKEINFO = makeinfo
|
||||
+MAKEINFO = makeinfo --no-split
|
||||
|
||||
#MAKEINFOFLAGS = --no-validate
|
||||
MAKEINFOFLAGS =
|
@ -5,11 +5,6 @@ bin/sawfish-client
|
||||
bin/sawfish-ui
|
||||
@unexec install-info --delete %D/info/sawfish.info %D/info/dir
|
||||
info/sawfish.info
|
||||
info/sawfish.info-1
|
||||
info/sawfish.info-2
|
||||
info/sawfish.info-3
|
||||
info/sawfish.info-4
|
||||
info/sawfish.info-5
|
||||
@exec install-info --section="X11 window manager" --entry="* sawfish: (sawfish). sawfish programming manual" %D/info/sawfish.info %D/info/dir
|
||||
libexec/rep/%%GNUHOST%%/sawfish/client.la
|
||||
libexec/rep/%%GNUHOST%%/sawfish/client.so
|
||||
|
Loading…
Reference in New Issue
Block a user