pkgsrc-wip/kile
Aleksej Saushev 8ff6e98a7c Drop superfluous PKG_DESTDIR_SUPPORT, "user-destdir" is default these days.
Mark packages that don't or might probably not have staged installation.
2012-10-01 21:57:31 +00:00
..
DESCR
distinfo
Makefile
PLIST