summary refs log tree commit diff
path: root/doc/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'doc/Makefile')
-rw-r--r--doc/Makefile4
1 files changed, 3 insertions, 1 deletions
diff --git a/doc/Makefile b/doc/Makefile
index a259015..1ae14ef 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -1,6 +1,8 @@
 .PHONY: all clean
 
-all: html/abi.html html/il.html
+DOCS = abi il
+
+all: $(DOCS:%=html/%.html)
 
 clean:
 	rm -fr html