Prepare for 0.1 release: make install.
authorJan Nieuwenhuizen <janneke@gnu.org>
Sun, 16 Oct 2016 06:14:50 +0000 (08:14 +0200)
committerJan Nieuwenhuizen <janneke@gnu.org>
Sun, 16 Oct 2016 06:14:50 +0000 (08:14 +0200)
commit6d64e55500e33c8c16aa4ada2bd1cb950944da9f
treefc8371375511deb1b9b0fbc3ca7d311ad96741d5
parent323e78b190c196614ba56095a46211deb02b9040
Prepare for 0.1 release: make install.

* make/install.make (install): Install documentation.
make/install.make