From 376ff716164e804e388a13e2504166e7d520fd61 Mon Sep 17 00:00:00 2001
From: Jethro Kuan <jethrokuan95@gmail.com>
Date: Wed, 13 May 2020 19:35:48 +0800
Subject: [PATCH] (ci): run doc build commands directly (#621)

---
 .github/workflows/docs.yml | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index 627dcd4..6cde62f 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -20,7 +20,10 @@ jobs:
 
     - name: Build docs
       continue-on-error: false
-      run: make html
+      run: |
+        cd doc
+        makeinfo --html org-roam.texi
+        mv org-roam manual
 
     - name: Deploy 🚀
       uses: JamesIves/github-pages-deploy-action@releases/v3