remove config.def.h: it was not used anymore

thanks tarug0 for reporting it!

diff --git a/Makefile b/Makefile
index 868ad59cd2d7d1ff3e8ea11253a2b668409c1fa3..e6f66d12da7634940f9a73623e24291b7715c7d7 100644 (file)
--- 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 (file)
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 */