Ulf Magnusson 6188579063 filter-doc-log.sh: Fix error for empty log file ... Running 'make html' in doc/ when doc.log is missing or empty gives the following error if sphinx-build doesn't write anything on stdout/stderr: Error in ./scripts/filter-doc-log.sh: logfile "doc.log" not found. Makefile:84: recipe for target ”html” failed make: *** [html] Error 1 The problem is that scripts/filter-doc-log.sh tests for the existence of the log file with [ -s ${LOG_FILE} ], which requires it to be nonempty. Fix it by using -e instead, which only checks if the log file exists. scripts/filter-known-issues.py ($KI_SCRIPT) seems to be able to deal with empty files (and runs quickly). Fixes #6854 Signed-off-by: Ulf Magnusson <ulfalizer@gmail.com>		2018-03-29 08:26:47 -04:00
..
genrest	Revert "doc: Kconfig: Decode Kconfig sources as UTF-8 instead [...]"	2018-03-21 08:57:44 -04:00
extract_content.py
filter-doc-log.sh	filter-doc-log.sh: Fix error for empty log file	2018-03-29 08:26:47 -04:00