From dc8d0c84ff1f09b25e36313a1de6848f51a32320 Mon Sep 17 00:00:00 2001
From: Hiltjo Posthuma <hiltjo@codemadness.org>
Date: Fri, 5 May 2017 00:23:50 +0200
Subject: [PATCH] remove config.def.h: it was not used anymore

thanks tarug0 for reporting it!
---
 Makefile     | 3 +--
 config.def.h | 3 ---
 2 files changed, 1 insertion(+), 5 deletions(-)
 delete mode 100644 config.def.h

diff --git a/Makefile b/Makefile
index 868ad59..e6f66d1 100644
--- a/Makefile
+++ b/Makefile
@@ -40,8 +40,7 @@ dist:
 	rm -rf ${NAME}-${VERSION}
 	mkdir -p ${NAME}-${VERSION}
 	cp -f ${MAN1} ${HDR} ${SCRIPTS} ${SRC} ${COMPATSRC} ${DOC} \
-		Makefile config.def.h config.mk \
-		favicon.png logo.png style.css \
+		Makefile config.mk favicon.png logo.png style.css \
 		example.sh \
 		${NAME}-${VERSION}
 	# make tarball
diff --git a/config.def.h b/config.def.h
deleted file mode 100644
index 721392f..0000000
--- a/config.def.h
+++ /dev/null
@@ -1,3 +0,0 @@
-/* See LICENSE file for copyright and license details. */
-static const unsigned summarylen = 70; /* summary length in the log */
-static const int showlinecount   = 1;  /* display line count or file size in file tree index */
-- 
2.39.2