From 574144594f6167078bc91118a0e9504102ca1d2b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?J=C3=A9r=C3=A9my=20Zurcher?= <jeremy@asynk.ch>
Date: Tue, 5 Oct 2021 11:28:56 +0200
Subject: add manpdf

---
 manpdf | 29 +++++++++++++++++++++++++++++
 1 file changed, 29 insertions(+)
 create mode 100755 manpdf

diff --git a/manpdf b/manpdf
new file mode 100755
index 0000000..32136f9
--- /dev/null
+++ b/manpdf
@@ -0,0 +1,29 @@
+#! /bin/bash
+
+DIR=/tmp/manpdf
+STYLE=$DIR/style.css
+FNAME=$DIR/$1
+
+[ -d $DIR ] || mkdir $DIR
+
+if [ ! -r $STYLE ]
+then
+    echo "<style type=\"text/css\">
+body { font-family: Whitney Medium; background: #181a1b; }
+p    { font-size: 20px; color: white; }
+h2   { font-size: 25px; display:inline; color: yellow; }
+h1   { font-size: 30px; color: white; }
+b    { color: #5ce7ad; }
+i    { color: #ff4b4b; }
+a    { font-size: 20px; color: #3391ff }
+pre  { color: white; font-size: 15px; }
+</style>" > $STYLE
+fi
+
+if [ ! -r $FNAME.pdf ]
+then
+    gunzip --to-stdout $(man --where $1) | groff -mandoc -Thtml > $FNAME.html
+    sed -i "/<\/style>/r $STYLE" $FNAME.html
+    wkhtmltopdf $FNAME.html $FNAME.pdf
+fi
+evince $FNAME.pdf
-- 
cgit v1.1-2-g2b99