pacman: makepkg.conf: Fix MAN_DIRS expansion
This commit is contained in:
@@ -97,7 +97,7 @@ STRIP_SHARED="--strip-unneeded"
|
||||
#-- Options to be used when stripping static libraries. See `man strip' for details.
|
||||
STRIP_STATIC="--strip-debug"
|
||||
#-- Manual (man and info) directories to compress (if zipman is specified)
|
||||
MAN_DIRS=({{,usr/}{,local/}{,share/},opt/*}/{man,info} mingw{32,64}{,/local}{,/share},opt/*}/{man,info})
|
||||
MAN_DIRS=({{,usr/}{,local/}{,share/},opt/*/}{man,info} mingw{32,64}{{,/local}{,/share},/opt/*}/{man,info})
|
||||
#-- Doc directories to remove (if !docs is specified)
|
||||
DOC_DIRS=({,usr/}{,local/}{,share/}{doc,gtk-doc} mingw{32,64}/{,local/}{,share/}{doc,gtk-doc} opt/*/{doc,gtk-doc})
|
||||
#-- Files to be removed from all packages (if purge is specified)
|
||||
|
||||
@@ -111,7 +111,7 @@ STRIP_SHARED="--strip-unneeded"
|
||||
#-- Options to be used when stripping static libraries. See `man strip' for details.
|
||||
STRIP_STATIC="--strip-debug"
|
||||
#-- Manual (man and info) directories to compress (if zipman is specified)
|
||||
MAN_DIRS=(mingw32{,/local}{,/share},opt/*}/{man,info})
|
||||
MAN_DIRS=(mingw32{{,/local}{,/share},/opt/*}/{man,info})
|
||||
#-- Doc directories to remove (if !docs is specified)
|
||||
DOC_DIRS=(mingw32/{,local/}{,share/}{doc,gtk-doc})
|
||||
#-- Files to be removed from all packages (if purge is specified)
|
||||
|
||||
@@ -111,7 +111,7 @@ STRIP_SHARED="--strip-unneeded"
|
||||
#-- Options to be used when stripping static libraries. See `man strip' for details.
|
||||
STRIP_STATIC="--strip-debug"
|
||||
#-- Manual (man and info) directories to compress (if zipman is specified)
|
||||
MAN_DIRS=(mingw64{,/local}{,/share},opt/*}/{man,info})
|
||||
MAN_DIRS=(mingw64{{,/local}{,/share},/opt/*}/{man,info})
|
||||
#-- Doc directories to remove (if !docs is specified)
|
||||
DOC_DIRS=(mingw64/{,local/}{,share/}{doc,gtk-doc})
|
||||
#-- Files to be removed from all packages (if purge is specified)
|
||||
|
||||
Reference in New Issue
Block a user