[Submission] Generate readme page using hugo directly

Simpler, less generation

Author: bobot

Makefile

@@ -6,8 +6,6 @@ install: ## Install the poetry environment and install the pre-commit hooks
 
 .PHONY: check
 check: ## Run code quality tools.
-	@echo "🚀 Checking for obsolete submissions/Readme.md"
-	@poetry run python3 submissions/template/generate_Readme.py check
 	@echo "🚀 Checking Poetry lock file consistency with 'pyproject.toml': Running poetry lock --check"
 	@poetry check --lock
 	@echo "🚀 Linting code: Running pre-commit"
@@ -19,8 +17,6 @@ check: ## Run code quality tools.
 
 .PHONY: test generation
 test: generation ## Test the code with pytest
-	@echo "🚀 Generating submissions/Readme.md"
-	@poetry run python3 submissions/template/generate_Readme.py generate
 	@echo "🚀 Testing code: Running pytest"
 	@poetry run pytest
 

submissions/Readme.md

@@ -11,3 +11,21 @@ The detailed description of the fields in the solver JSON file is available in
 the [schema](schema.html).
 
 The solver is run in [this docker](https://gitlab.com/sosy-lab/benchmarking/competition-scripts/#computing-environment-on-competition-machines) environment.
+
+## Submissions directory
+
+The creation of new submission is done through the creation of a new json file
+in this directory and the submission of a Pull Request.
+
+It could be done directly from the web-interface and starting with a template:
+[create a new submission](https://github.com/SMT-COMP/smt-comp.github.io/new/master/submissions?value={{< submissions_template >}})
+
+- The filename should start with the name of your solver and end with `.json`
+- The continuous integration will check the format
+
+### Fields
+
+- `name`: The solver name should respect the guidelines in the given in the
+  rules of the SMT-competition (derived solver, wrapper solver, ...)
+- `authors`: (utf8 can be used? It should be checked. tuple with latin1?)
+- `url`: The url should be valid at the time of submission and during all the competition. The url should be at zenodo for the final submission.

submissions/template/generate_Readme.py

@@ -0,0 +1 @@
+../../../submissions/template/template.json