correcting usage documentation of install_stripped.sh

FlexibleSUSY · Nov 27, 2014 · 0e7bc0a · 0e7bc0a
1 parent ef91f8a
commit 0e7bc0a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/config/install_stripped.sh b/config/install_stripped.sh
@@ -4,7 +4,7 @@
 # install arguments can be given in [$3].
 
 if test $# -lt 2; then
-    echo "Usage: ./install_stripped source destination [install args]"
+    echo "Usage: ./install_stripped.sh source destination [install args]"
     exit 1
 fi