We are making a push at eliminating interactive ports. Are you still maintaining dvips? Is it still useful? Can it be converted to a regular port?
It looks like you took it over in 2008 but haven't actually done anything with it. What do you recommend should happen?
hi gabor, are you around? I haven't heard from you for a few weeks, so I'm not sure if you have seen this PR?
A commit references this bug:
Date: Wed Jul 2 22:43:25 UTC 2014
New revision: 360306
print/dvips: Reset maintainer and deprecate interactive port
Unstaged ports are being reset today. I'll grab this one from the batch
in order to set the expiration date to match the other unmaintained
interactive ports. The port should be converted to a regular port as
well as providing stage support in order to undeprecate it. The listed
maintainer has been non-responsive for almost two weeks as well.
Approved by: portmgr (implicit)
Set to expire 20 August with the rest of the unmaintained interactive ports.
(In reply to John Marino from comment #3)
> Set to expire 20 August with the rest of the unmaintained interactive ports.
I'm sorry, I was on vacation. I don't really maintain this port any more and I think it can be removed now since it isn't needed for the documentation build. If it is still needed, someone will save it. Thanks for your work on cleaning this up.