Improve Markdown style

Author: mernst

.github/workflows/make.yml

@@ -1,8 +1,6 @@
 name: Run make under CI
 
-on:
-  - push
-  - pull_request
+on: [push, pull_request]
 
 jobs:
   build:
@@ -20,5 +18,7 @@ jobs:
           sudo pip install mypy
       - name: Install shellcheck and checkbashisms
         run: sudo apt install shfmt shellcheck devscripts
+      - name: Install markdownlint
+        run: npm install markdownlint-cli2 --global
       - name: style check
         run: make style-check

Makefile

@@ -48,6 +48,13 @@ ifneq ($(SH_SCRIPTS),)
 	@${CHECKBASHISMS} -l ${SH_SCRIPTS}
 endif
 
+style-fix: markdownlint-fix
+markdownlint-fix:
+	markdownlint-cli2 --fix .
+style-check: markdownlint-check
+markdownlint-check:
+	markdownlint-cli2 .
+
 showvars:
 	@echo "PYTHON_FILES=${PYTHON_FILES}"
 	@echo "PYTHON_FILES_TO_CHECK=${PYTHON_FILES_TO_CHECK}"

README.md

@@ -12,18 +12,23 @@ Testing](GRT_Program-Analysis-Guided_Random_Testing.pdf)"
 ## Usage Instructions
 
 ### Setup
+
 To set up the environment, refer to the `scripts/mutation-prerequisites.md` file.
 
 ### Running Scripts
+
 For prerequisities, refer to `scripts/mutation-prerequisities.md`.
-For instructions on using the scripts, refer to `scripts/mutation-randoop.sh` for Randoop and `scripts/mutation-evosuite.sh` for EvoSuite.
+For instructions on using the scripts, refer to `scripts/mutation-randoop.sh`
+for Randoop and `scripts/mutation-evosuite.sh` for EvoSuite.
 
 ### Running GRT Experiments
+
 See file `scripts/experiment-scripts/README.md`.
 
 ### Subject Programs
 
-The compiled subject programs used by the GRT paper appear in the `subject-programs/` directory.
+The compiled subject programs used by the GRT paper appear in the
+`subject-programs/` directory.
 
 To obtain the sources of the subject programs, see
 `subject-programs/README.build`.