@@ -30,9 +30,9 @@ REST=${ALL#$ARGS}; REST=${REST# -- }
30PANDOC_OPTS=${REST:-$PANDOC_OPTS}
30PANDOC_OPTS=${REST:-$PANDOC_OPTS}
35−if [ -n "$@" ]; then
34+if [ $# -gt 1 ]; then
36 echo >&2 "Warning: extra arguments '$@' will be ignored!"
36 echo >&2 "Warning: extra arguments '$@' will be ignored!"