Subject: Re: bug#59503: 28.2.50; cannot set --mandir when installing
From: Eli Zaretskii <[email-masked]>
To: daanturo <[email-masked]>
Cc: [email-masked]
Date: Wed, 23 Nov 2022 18:45:07 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

> Date: Wed, 23 Nov 2022 22:20:11 +0700
> Cc: [email-masked]
> From: daanturo <[email-masked]>
> 
> Thank you. Turns out it wasn't any bug but my mistake for running `make
> extraclean` after `./configure` but before `make install`.
> 
> Please close this bug

Done.

> (I don't think bug reporters can do that, but if that's possible, can you
> show me the docs?).

You _can_ close bugs, just send message to [email-masked], where
NNNN is the bug number.  Like I did here.

Thanks.