diff --git a/docs/Makefile.am b/docs/Makefile.am index b4855d12dead8cf47b666a5f7d7b7724def30d07..2d227439307d825424179673be171b50921a1ac0 100644 --- a/docs/Makefile.am +++ b/docs/Makefile.am @@ -149,7 +149,7 @@ todo.html.in: todo.pl || { rm $@ && exit 1; }; \ else \ echo "Stubbing $@"; \ - echo "

Todo list

" > $@ ; \ + echo "

Todo list unavailable: no config file

" > $@ ; \ fi todo: