aboutsummaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authoraqua <aqua@iserlohn-fortress.net>2022-11-08 10:46:07 +0200
committeraqua <aqua@iserlohn-fortress.net>2022-11-08 14:56:42 +0200
commit527a5ea7a896a9b00e0563abbbed7771a398971b (patch)
tree81dcbe1b95c88bea447dfcc32d6fed46835713bb /Makefile
parentCapture ps2 mouse packets (diff)
downloadkernel-527a5ea7a896a9b00e0563abbbed7771a398971b.tar.xz
Add python-sphinx docs
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile5
1 files changed, 4 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index d3d8968..ca2f48d 100644
--- a/Makefile
+++ b/Makefile
@@ -3,9 +3,12 @@ MAKEFLAGS += --no-print-directory
include Makefile.config
-.PHONY: all run clean test FORCE
+.PHONY: all doc run clean test FORCE
all: glitch.elf
+doc: FORCE
+ sphinx-build -b html doc.src doc
+
run: glitch.iso
@qemu-system-i386 -cdrom glitch.iso -accel kvm -d cpu_reset -display gtk,zoom-to-fit=on