Documentation: "Introduction" page updated
765f3d92cbeb
Actions

Authored by pgess on Mar 28 2019, 7:24 PM.

Description

Documentation: "Introduction" page updated

Docbook converter:

doctl upload to upload whole documentation
documentation project file(documentation/manual.json) is added

Committed

pgess

Mar 28 2019, 7:24 PM

Parents

rXR15de42e271b5: small fixes

Branches

Unknown

Tags

Unknown

				Path
	M			documentation-tools/doc-converter/DocBook.hs
	A			documentation-tools/doc-converter/doctl
	M			documentation/index.xml
	A			documentation/manual.json
	D			pandoctl