diff options
Diffstat (limited to 'makesrcdist')
| -rwxr-xr-x | makesrcdist | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/makesrcdist b/makesrcdist index 9eb75de93..accce0ac7 100755 --- a/makesrcdist +++ b/makesrcdist @@ -18,14 +18,14 @@ else echo "ERROR: Please generate the HTML documentation before distributing:" echo " autoconf" echo " ./configure" - echo " cd documentation; make html" + echo " cd documentation; make dist" exit 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 pdf-dist" + echo " cd documentation; make dist" exit fi echo Creating tag for release... |