diff options
author | Jakob Voß <jakob@nichtich.de> | 2016-09-30 07:20:43 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-09-30 07:20:43 +0200 |
commit | 06fa6986d1ed02538b574778bff99354b84eb97b (patch) | |
tree | 0eeb24a8ee22d9365d812d9accf699664baf2338 | |
parent | 6b2bb8f1cc2518f7bc1f8dcbc1feebf4b7b1e369 (diff) | |
download | pandoc-06fa6986d1ed02538b574778bff99354b84eb97b.tar.gz |
Execute .js filters with node
-rw-r--r-- | pandoc.hs | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -139,6 +139,7 @@ externalFilter f args' d = do ".pl" -> ("perl", f:args') ".rb" -> ("ruby", f:args') ".php" -> ("php", f:args') + ".js" -> ("node", f:args') _ -> (f, args') else err 85 $ "Filter " ++ f ++ " not found" when (f' /= f) $ do |