summaryrefslogtreecommitdiff
path: root/doc/Makefile
diff options
context:
space:
mode:
authorMagnus Ahltorp <map@kth.se>2016-01-18 17:37:10 +0100
committerMagnus Ahltorp <map@kth.se>2016-01-18 17:37:10 +0100
commitb3dd4ec4c1cfeca1f8fd8bb2c829af69377bcda8 (patch)
treec4d46d75a20b2fead1f0dddfeb5ec82c62aa94f6 /doc/Makefile
parent24ba29ab998a9d454e5c7dfd11c59c97d0d920f5 (diff)
Added preliminary permdb format specification
Diffstat (limited to 'doc/Makefile')
-rw-r--r--doc/Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/Makefile b/doc/Makefile
index 05b987d..5f5b1b6 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -1,4 +1,4 @@
-ALL = db.html
+ALL = db.html permdb.html
all: $(ALL)