diff options
| -rw-r--r-- | html2markdown | 4 | ||||
| -rw-r--r-- | markdown2pdf | 4 |
2 files changed, 4 insertions, 4 deletions
diff --git a/html2markdown b/html2markdown index 9549bc4e1..53ea05c08 100644 --- a/html2markdown +++ b/html2markdown @@ -30,9 +30,9 @@ REST=${ALL#$ARGS}; REST=${REST# -- } PANDOC_OPTS=${REST:-$PANDOC_OPTS} infile=$1 -shift -if [ -n "$@" ]; then +if [ $# -gt 1 ]; then + shift echo >&2 "Warning: extra arguments '$@' will be ignored!" fi diff --git a/markdown2pdf b/markdown2pdf index 0307f73cf..03d43d472 100644 --- a/markdown2pdf +++ b/markdown2pdf @@ -59,9 +59,9 @@ done } infile=$1 -shift -if [ -n "$@" ]; then +if [ $# -gt 1 ]; then + shift echo >&2 "Warning: extra arguments '$@' will be ignored!" fi |