From 634824575d474a1544f5540ccb98a31b7ceb0542 Mon Sep 17 00:00:00 2001 From: Bruno Haible Date: Sun, 21 Jul 2024 22:50:29 +0200 Subject: [PATCH] build: Fix "make maintainer-clean". * doc/Makefile.in (maintainer-clean): Remove also gperf.1. --- ChangeLog | 5 +++++ doc/Makefile.in | 4 ++-- 2 files changed, 7 insertions(+), 2 deletions(-) diff --git a/ChangeLog b/ChangeLog index 0a9fa9b..72e8eef 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,8 @@ +2024-07-21 Bruno Haible + + build: Fix "make maintainer-clean". + * doc/Makefile.in (maintainer-clean): Remove also gperf.1. + 2024-06-12 Collin Funk doc: Make the detailed menu title appear as intended. diff --git a/doc/Makefile.in b/doc/Makefile.in index d7bbdc9..4f93405 100644 --- a/doc/Makefile.in +++ b/doc/Makefile.in @@ -1,6 +1,6 @@ # Makefile for gperf/doc -# Copyright (C) 1998, 2000, 2002-2003, 2006-2007, 2012, 2016 Free Software Foundation, Inc. +# Copyright (C) 1998, 2000, 2002-2003, 2006-2007, 2012, 2016, 2023-2024 Free Software Foundation, Inc. # Written by Douglas C. Schmidt # and Bruno Haible . # @@ -160,7 +160,7 @@ distclean : clean $(RM) config.status config.log config.cache Makefile maintainer-clean : distclean - $(RM) *.info *.dvi *.ps *.pdf *.html + $(RM) *.info *.dvi *.ps *.pdf *.html *.1 # List of source files. SOURCE_FILES = \