make distclean should remove manpages from the doc subdir

Description

AFAIU make distclean should clean all the documentation generated. At the moment the manpages remain in doc subdirectory even after make distclean.

Environment

None

Assignee

Unassigned

Reporter

Martin Sustrik

Labels

None

Priority

Configure