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

Status

Assignee

Unassigned

Reporter

Martin Sustrik

Labels

None

Priority