diff --git a/scripts/filter-doc-log.sh b/scripts/filter-doc-log.sh
index b1508b2a..7c8a49bb 100755
--- a/scripts/filter-doc-log.sh
+++ b/scripts/filter-doc-log.sh
@@ -33,6 +33,8 @@ fi
 
 if [ -s "${LOG_FILE}" ]; then
    echo "run $KI_SCRIPT"
+   ls -la
+   ls -la .known-issues
    $KI_SCRIPT --config-dir ${CONFIG_DIR} ${LOG_FILE} -o ${BUILDDIR}/doc.warnings
    if [ -s ${BUILDDIR}/doc.warnings ]; then
 	   echo