[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#59503: 28.2.50; cannot set --mandir when installing
From: |
Eli Zaretskii |
Subject: |
bug#59503: 28.2.50; cannot set --mandir when installing |
Date: |
Wed, 23 Nov 2022 18:45:07 +0200 |
> Date: Wed, 23 Nov 2022 22:20:11 +0700
> Cc: 59503@debbugs.gnu.org
> From: daanturo <daanturo@gmail.com>
>
> 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 NNNN-done@debbugs.gnu.org, where
NNNN is the bug number. Like I did here.
Thanks.