bugs: don't install empty directory and manpage without program

[Jörg Sommer <joerg@xxxxxxxxxxxx>]

Hi John,

you should not install the manpage for rgrep if the binary is not
installed and you should not create the directory /usr/share/jed/bin/ if
you do not install anything there.

Bye, Jörg.
-- 
> Definiere "Demokratie"...
... eine Mehrheit beweist einer Minderheit, dass Widerstand zwecklos ist.

--------------------------
To unsubscribe send email to <jed-users-request@xxxxxxxxxxx> with
the word "unsubscribe" in the message body.
Need help? Email <jed-users-owner@xxxxxxxxxxx>.