summary refs log tree commit diff
path: root/doc
diff options
context:
space:
mode:
authorQuentin Carbonneaux <quentin.carbonneaux@yale.edu>2016-03-09 10:11:10 -0500
committerQuentin Carbonneaux <quentin.carbonneaux@yale.edu>2016-03-09 10:11:10 -0500
commit890d587b57d5986d032c4e029cd23d70f1982f84 (patch)
treeab95657cdd0adcfbd61fc08ba31ff2fadfdb8114 /doc
parent03f853b6e791d8005586c219493bda7324044b9e (diff)
downloadroux-890d587b57d5986d032c4e029cd23d70f1982f84.tar.gz
more makefile magic
Diffstat (limited to 'doc')
-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