diff options
| -rwxr-xr-x | filters/syntax-highlighting.sh | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/filters/syntax-highlighting.sh b/filters/syntax-highlighting.sh index 0639b10..47f6267 100755 --- a/filters/syntax-highlighting.sh +++ b/filters/syntax-highlighting.sh | |||
| @@ -39,8 +39,11 @@ | |||
| 39 | BASENAME="$1" | 39 | BASENAME="$1" |
| 40 | EXTENSION="${BASENAME##*.}" | 40 | EXTENSION="${BASENAME##*.}" |
| 41 | 41 | ||
| 42 | [ "${BASENAME}" = "${EXTENSION}" ] && EXTENSION=txt | ||
| 43 | [ -z "${EXTENSION}" ] && EXTENSION=txt | ||
| 44 | |||
| 42 | # map Makefile and Makefile.* to .mk | 45 | # map Makefile and Makefile.* to .mk |
| 43 | [ "${BASENAME%%.*}" == "Makefile" ] && EXTENSION=mk | 46 | [ "${BASENAME%%.*}" = "Makefile" ] && EXTENSION=mk |
| 44 | 47 | ||
| 45 | # highlight versions 2 and 3 have different commandline options. Specifically, | 48 | # highlight versions 2 and 3 have different commandline options. Specifically, |
| 46 | # the -X option that is used for version 2 is replaced by the -O xhtml option | 49 | # the -X option that is used for version 2 is replaced by the -O xhtml option |
