diff options
| -rwxr-xr-x | makesrcdist | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/makesrcdist b/makesrcdist index 4af8433a7..8ed3febc8 100755 --- a/makesrcdist +++ b/makesrcdist @@ -18,16 +18,16 @@ else echo "ERROR: Please generate the HTML documentation before distributing:" echo " autoconf" echo " ./configure" - echo " cd documentation; make html-dist" + echo " cd documentation; make html" exit - fi + fi if test ! -e "documentation/fltk.pdf"; then echo "ERROR: Please generate the PDF documentation before distributing:" echo " autoconf" echo " ./configure" - echo " cd documentation; make html-dist" + echo " cd documentation; make pdf-dist" exit - fi + fi exit echo Creating tag for release... rev="1" |