diff options
| author | Determinant <[email protected]> | 2018-07-24 21:36:18 -0400 |
|---|---|---|
| committer | Determinant <[email protected]> | 2018-07-24 21:36:18 -0400 |
| commit | f6f44360ea2d3b98156ffa6aed237f6ef4da26d0 (patch) | |
| tree | 0ee974b605eed1b1f9d0f9b44911d875a0cf0af4 /html-converters/man2html | |
| download | cgit-dark-f6f44360ea2d3b98156ffa6aed237f6ef4da26d0.tar.gz cgit-dark-f6f44360ea2d3b98156ffa6aed237f6ef4da26d0.tar.bz2 cgit-dark-f6f44360ea2d3b98156ffa6aed237f6ef4da26d0.zip | |
init
Diffstat (limited to 'html-converters/man2html')
| -rwxr-xr-x | html-converters/man2html | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/html-converters/man2html b/html-converters/man2html new file mode 100755 index 0000000..0ef7884 --- /dev/null +++ b/html-converters/man2html @@ -0,0 +1,4 @@ +#!/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>" |