From 40eb4e45d48337dfcd748540fe25c5eb684e911d Mon Sep 17 00:00:00 2001
From: Cem Keylan <cem@ckyln.com>
Date: Wed, 9 Sep 2020 17:51:04 +0300
Subject: Install docs

---
 build | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'build')

diff --git a/build b/build
index 74c7d9b..13160ea 100755
--- a/build
+++ b/build
@@ -125,6 +125,9 @@ main() {
     genrss index news index.html > src/news.xml
     genrss src/blog > src/rss.xml
 
+    # Generate htmldocs
+    make -s -C texidocs DESTDIR="$PWD/src/docs" htmldocs
+
     # Generate pages
     genpages
 }
-- 
cgit v1.2.3