Subject: CVS commit: pkgsrc/lang/idris
From: Masatake Daimon
Date: 2020-10-13 18:35:44
Message id: 20201013163544.DB2DBFB28@cvs.NetBSD.org

Log Message:
Fix the installation path for man pages

Files:
RevisionActionfile
1.3modifypkgsrc/lang/idris/Makefile
1.2modifypkgsrc/lang/idris/distinfo
1.2modifypkgsrc/lang/idris/patches/patch-Setup.hs
1.1addpkgsrc/lang/idris/PLIST