From c53b0ec0701d404e096f805c658a758d3e7cabed Mon Sep 17 00:00:00 2001 From: "Barak A. Pearlmutter" Date: Mon, 7 Oct 2024 14:19:00 +0100 Subject: [PATCH] clean makehelp Addresses https://bugs.debian.org/1046787 build-source-after-build issue --- Makefile.am | 1 + 1 file changed, 1 insertion(+) diff --git a/Makefile.am b/Makefile.am index af27397..727ed6d 100644 --- a/Makefile.am +++ b/Makefile.am @@ -80,6 +80,7 @@ EXTRA_DIST = eval.h globals.h gpl_text.h LogoFrame.h logo.h \ # Source for utility program for regenerating ./helpfiles/ from ./usermanual # See below; needs to run in build environment. EXTRA_DIST += makehelp.c +CLEANFILES = makehelp # Misc information, documentation, historical files, etc EXTRA_DIST += changes.txt config.h.msys diffscript.pl .gitignore \