filters: import more modern scripts

Signed-off-by: Jason A. Donenfeld <Jason@zx2c4.com>
2013-05-27 21:39:43 +02:00
--- a/filters/html-converters/man2html
+++ b/filters/html-converters/man2html
@ -0,0 +1,5 @@
+#!/bin/sh
+echo "<div style=\"font-family: monospace\">"
+groff -mandoc -T html -P -r -P -l | egrep -v '(<html>|<head>|<meta|<title>|</title>|</head>|<body>|</body>|</html>|<!DOCTYPE|"http://www.w3.org)'
+echo "</div>"
+