devel/jetbrains-phpstorm: Moved man to share/man

Approved by:    portmgr (blanket)
This commit is contained in:
Muhammad Moinur Rahman 2024-02-23 13:24:39 +01:00
parent f8e9ea7393
commit c4d92a1d87
No known key found for this signature in database
GPG key ID: BDB9B5A617C0BC91
2 changed files with 3 additions and 2 deletions

View file

@ -1,5 +1,6 @@
PORTNAME= phpstorm
PORTVERSION= 2023.3.4
PORTREVISION= 1
CATEGORIES= devel
MASTER_SITES= https://download-cdn.jetbrains.com/webide/
PKGNAMEPREFIX= jetbrains-
@ -59,7 +60,7 @@ do-install:
@(cd ${WRKSRC}/bin && ${COPYTREE_BIN} . ${STAGEDIR}${DATADIR}/bin/ \
"-name *\.sh -o -name *\.py")
${INSTALL_SCRIPT} ${WRKDIR}/${PORTNAME} ${STAGEDIR}${PREFIX}/bin/${PORTNAME}
${INSTALL_MAN} ${FILESDIR}/${PORTNAME}.1 ${STAGEDIR}${PREFIX}/man/man1
${INSTALL_MAN} ${FILESDIR}/${PORTNAME}.1 ${STAGEDIR}${PREFIX}/share/man/man1
${INSTALL_DATA} ${WRKDIR}/${PORTNAME}.desktop ${STAGEDIR}${PREFIX}/share/applications/
# Use fsnotifier replacement provided by java/intellij-fsnotifier
${ECHO} "idea.filewatcher.executable.path=${PREFIX}/bin/fsnotifier" >> ${STAGEDIR}${DATADIR}/bin/idea.properties

View file

@ -1,5 +1,5 @@
bin/phpstorm
man/man1/phpstorm.1.gz
share/man/man1/phpstorm.1.gz
share/applications/phpstorm.desktop
%%DATADIR%%/Install-Linux-tar.txt
%%DATADIR%%/bin/brokenPlugins.db