Remove the documentation artifacts during distclean.
Remove the documentation artifacts during distclean.

lavabit/magma,lavabit/magma,lavabit/magma,lavabit/magma,lavabit/magma,lavabit/magma,lavabit/magma,lavabit/magma