Removed another unused file from the tree.
Removed another unused file from the tree.
Perhaps we now install all html files.
Did somehow revert make's input and output
Ok... ...should work now.