diff options
author | Sean Whitton <spwhitton@spwhitton.name> | 2017-12-26 17:12:33 +0000 |
---|---|---|
committer | Sean Whitton <spwhitton@spwhitton.name> | 2017-12-26 17:12:33 +0000 |
commit | 584586dff66131d588ad65cdbe6430f0b2652758 (patch) | |
tree | 05226e51b7e1a3bcdd10376b10c104149db68369 /debian/cider-doc.docs | |
parent | 2304fc842396fe50eab71b50e1695eeee50bb3a1 (diff) |
install built html docs
Diffstat (limited to 'debian/cider-doc.docs')
-rw-r--r-- | debian/cider-doc.docs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/debian/cider-doc.docs b/debian/cider-doc.docs new file mode 100644 index 00000000..1936cc1d --- /dev/null +++ b/debian/cider-doc.docs @@ -0,0 +1 @@ +html |