GitLab

	* doc/Makefile.am: New dependencies.

	* doc/license_commercial.dox,
	* doc/mainpage.dox,
	* doc/modules_list.dox: More content.

	* doc/get_sources.dox,
	* doc/online_resources.dox: New.