Index: tools/prettyprinter/Makefile.am
===================================================================
--- tools/prettyprinter/Makefile.am	(revision 850aff17345d3e7433f854ef3f1b65369f8016d8)
+++ tools/prettyprinter/Makefile.am	(revision aa3bfc37ef4c3fdffce148a988fd33bf650ceefd)
@@ -11,6 +11,6 @@
 ## Created On       : Wed Jun 28 12:07:10 2017
 ## Last Modified By : Peter A. Buhr
-## Last Modified On : Thu Jan 28 08:48:22 2021
-## Update Count     : 23
+## Last Modified On : Sat Jul 20 12:07:15 2024
+## Update Count     : 24
 ###############################################################################
 
@@ -30,5 +30,5 @@
 tools_prettyprinter_PROGRAMS = pretty
 tools_prettyprinterdir = ../
-nodist_pretty_SOURCES = ${SRC}
+pretty_SOURCES = ${SRC}
 pretty_LDADD = ${LEXLIB} -ldl			# yywrap
 pretty_CXXFLAGS = -Wno-deprecated -Wall -Wextra -Werror=return-type -DYY_NO_INPUT -O2 -g -std=c++14