Merge branch 'gh/dist-clean'

Merge branch 'gh/dist-clean'

* gh/dist-clean:
  Doc: Try to make sure that ssidep files are rebuilt when needed
  Doc Makefile: Be more standard conforming
  Doc: Minimize use of the customized dist and install design
  Doc Makefile:  Use standardized variable names for data
  Doc: Make sure all target html-files are listed
  Makefile Doc: Look for files in build and source dir
  Makefile Doc: Introduce new variables for structure
  Doc: Improve make man put intermediate files in the right place
  Doc: Make sure the directories exist before writing to them
  Doc build:  Fix bug relating pages without includes
  Doc: Fix bug where index.html is overwritten