From 8c36de3d076f35a6f78bd89f5b312dd92950e0bc Mon Sep 17 00:00:00 2001
From: Jaakko Keränen <jaakko.keranen@iki.fi>
Date: Wed, 26 Jan 2022 15:07:31 +0200
Subject: Added a man page

Generated with Pandoc.
---
 res/makeman.sh | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100755 res/makeman.sh

(limited to 'res/makeman.sh')

diff --git a/res/makeman.sh b/res/makeman.sh
new file mode 100755
index 00000000..510c4cf6
--- /dev/null
+++ b/res/makeman.sh
@@ -0,0 +1,3 @@
+#!/bin/sh
+pandoc lagrange.1.md -s -t man > lagrange.1
+
-- 
cgit v1.2.3