tree f808f211494d36bc9b97f6ded71a05220723847e
parent d445f02f65ab2dd3da4876d93539961f2fca7ec9
author Ron <ron@debian.org> 1337607890 +0930
committer Ron <ron@debian.org> 1337607890 +0930

Actually install the documentation with make install

Instead of just its build stamp :)