Revert "No linuxdoc here. Documenation is to be maintained as HTML in branch 'gh-pages'."

This reverts commit fcea8951f1dc51cce28cabfc9cfec760a341118a.

Conflicts:
	doc/Makefile