From mboxrd@z Thu Jan 1 00:00:00 1970 From: Guilherme G. Piccoli Date: Fri, 4 Mar 2022 16:29:22 -0300 Subject: [PATCH v2 1/1] Simplify the generation of man pages Message-ID: <0f9637ac-c8e9-2ccf-63dc-5ca2ef20ed8d@igalia.com> List-Id: MIME-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit To: kexec@lists.infradead.org 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 Cheers, Guilherme [0] https://sources.debian.org/patches/makedumpfile/1:1.7.0-1/0002-adapt-makefile-to-debian.patch/