From c70b97d761ffba40e1c494bd9a78b9b278fbcb97 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?louiz=E2=80=99?= Date: Tue, 28 Aug 2018 23:24:24 +0200 Subject: Use sphinx instead of pandoc, and add a deploy job --- doc/user.rst | 7 +++++++ 1 file changed, 7 insertions(+) create mode 100644 doc/user.rst (limited to 'doc/user.rst') diff --git a/doc/user.rst b/doc/user.rst new file mode 100644 index 0000000..7cb97f5 --- /dev/null +++ b/doc/user.rst @@ -0,0 +1,7 @@ +End-user documentation +====================== + +.. toctree:: + :maxdepth: 2 + + usage -- cgit v1.2.3