diff options
Diffstat (limited to 'docs/Makefile')
-rw-r--r-- | docs/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/Makefile b/docs/Makefile index f66ef6ae88..33c6425d1b 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -26,7 +26,7 @@ Makefile.settings: configure @echo Makefile.settings not present, trying to run configure... ./configure -configure: configure.in +configure: configure.ac @echo configure not present, trying to regenerate it... autoreconf endif |