Real help screen (#589)

* the manual is converted from markdown to HTML during build time

* The user manual is now included in the application. The Help section will no longer attempt to open it from Github

* fixed punctuation mistakes in the manual

app/build.gradle

@@ -4,6 +4,7 @@ plugins {
 
 apply from: 'constants.gradle'
 apply from: 'dictionary-tools.gradle'
+apply from: 'help-tools.gradle'
 apply from: 'validate-languages.gradle'
 apply from: 'version-tools.gradle'
 
@@ -30,6 +31,15 @@ tasks.register('copyDictionaries', Copy) {
 	into DICTIONARIES_OUTPUT_DIR
 }
 
+tasks.register('convertHelp') {
+	inputs.file HELP_MARKDOWN
+	outputs.file HELP_HTML
+
+	doLast {
+		markdownToHTML(HELP_MARKDOWN, HELP_HTML, getVersionName())
+	}
+}
+
 tasks.register('writeDictionaryProperties') {
 	inputs.dir fileTree(dir: DICTIONARIES_INPUT_DIR)
 	outputs.dir DICTIONARY_META_OUTPUT_DIR
@@ -107,7 +117,7 @@ android {
 		].each { taskName ->
 			try {
 				tasks.named(taskName)?.configure {
-					dependsOn(validateLanguages, copyDefinitions, copyDictionaries, writeDictionaryProperties)
+					dependsOn(validateLanguages, copyDefinitions, copyDictionaries, writeDictionaryProperties, convertHelp)
 				}
 			} catch (UnknownTaskException ignored) {}
 		}