K 10
svn:author
V 3
cmt
K 8
svn:date
V 27
2020-09-24T20:35:57.523824Z
K 7
svn:log
V 288
fix staging of mboxgrep

- post-patch happens after configure, at which point modifying Makefile.in
  is pointless, but we have pre-configure, which does the job.
- patching in $(DESTDIR) into src/Makefile.in already happens in
  patch-src_Makefile.in, so remove it from the REINPLACEing

END