[PATCH v2 1/1] Simplify the generation of man pages

[Guilherme G. Piccoli]

Thanks for the makedumpfile patch Leonidas! It makes sense...Debian even
have something quite similar as your patch in their packaging [0], hence
have my:

Reviewed-and-tested-by: Guilherme G. Piccoli <gpiccoli at igalia.com>

Cheers,


Guilherme


[0]
https://sources.debian.org/patches/makedumpfile/1:1.7.0-1/0002-adapt-makefile-to-debian.patch/