diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/reference/ytstenut/Makefile.am | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/docs/reference/ytstenut/Makefile.am b/docs/reference/ytstenut/Makefile.am index bbe4574..eaab750 100644 --- a/docs/reference/ytstenut/Makefile.am +++ b/docs/reference/ytstenut/Makefile.am @@ -141,7 +141,8 @@ check-local: $(AM_V_GEN) b=`tput bold` && \ n=`tput sgr0` && \ for f in $(IGNORE_HFILES); do \ - if [ "`find $(DOC_SOURCE_DIR) -name $${f}`" = "" ]; then \ + if [ "`find $(DOC_SOURCE_DIR) -name $${f}`" = "" ] && \ + [ "`find $(abs_top_builddir)/ytstenut -name $${f}`" = "" ]; then \ echo "$${b}Error: $${f} is ignored but not found anyway.$${n}"; \ exit 1; \ fi \ |