Squashed 'third_party/cgit/' content from commit 8fc0c81
git-subtree-dir: third_party/cgit git-subtree-split: 8fc0c81bbbed21ee30e8a48b2ab1066a029b7b32
This commit is contained in:
commit
723dc8fbcb
102 changed files with 15632 additions and 0 deletions
4
filters/html-converters/man2html
Executable file
4
filters/html-converters/man2html
Executable file
|
|
@ -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>"
|
||||
Loading…
Add table
Add a link
Reference in a new issue