diff --git a/docs/Makefile b/docs/Makefile
index d845e77b..3028a5bd 100644
--- a/docs/Makefile
+++ b/docs/Makefile
@@ -35,9 +35,6 @@ fuzzers-links:
 				ln -s $$i/README.md $${n}.md; \
 			else \
 				echo "Missing $$i/README.md"; \
-				echo "# $$n Fuzzer"		>  $${n}.md; \
-				echo "" 			>> $${n}.md; \
-				echo "Missing README.md!" 	>> $${n}.md; \
 			fi; \
 		done
 
@@ -55,9 +52,6 @@ minitests-links:
 				ln -s $$i/README.md $${n}.md; \
 			else \
 				echo "Missing $$i/README.md"; \
-				echo "# $$n Minitest"		>  $${n}.md; \
-				echo "" 			>> $${n}.md; \
-				echo "Missing README.md!" 	>> $${n}.md; \
 			fi; \
 		done
 
diff --git a/minitests/partial_reconfig_flow/README.md b/minitests/partial_reconfig_flow/README.md
index 930ac9b4..1cb8ca2b 100644
--- a/minitests/partial_reconfig_flow/README.md
+++ b/minitests/partial_reconfig_flow/README.md
@@ -10,7 +10,7 @@ harness into a bitstream with fasm2frame and xc7patch.  Since writting FASM is
 rather tedious, rules are provided to convert Verilog ROI designs into FASM via
 Vivado.
 
-# Usage
+## Usage
 
 make rules are provided for generating each step of the process so that
 intermediate forms can be analyzed.  Assuming you have a .fasm file, invoking
@@ -20,7 +20,7 @@ the %\_hand\_crafted.bit rule will generate a merged bitstream:
 make foo.hand\_crafted.bit # reads foo.fasm
 ```
 
-# Using Vivado to generate .fasm
+## Using Vivado to generate .fasm
 
 Vivado's Partial Reconfiguration flow can be used to synthesize and implement a
 ROI design that is then converted to .fasm.  Write a Verilog module
diff --git a/minitests/roi_harness/README.md b/minitests/roi_harness/README.md
index 4c0841cd..9c1db89a 100644
--- a/minitests/roi_harness/README.md
+++ b/minitests/roi_harness/README.md
@@ -81,7 +81,7 @@ The following configurations are supported;
         # 125 MHz CLK onboard
         K17
 
-# Quickstart
+## Quickstart
 
 ```
 source settings/artix7.sh
@@ -91,7 +91,7 @@ make clean
 make copy
 ```
 
-# How it works
+## How it works
 
 Basic idea:
 - LOC LUTs in the ROI to terminate input and output routing
diff --git a/minitests/timing/README.md b/minitests/timing/README.md
index 5d5a8543..e707ef7f 100644
--- a/minitests/timing/README.md
+++ b/minitests/timing/README.md
@@ -13,14 +13,14 @@ comparision between the reduced model implemented in prjxray and the Vivado
 timing results.
 
 Model quality
-=============
+-------------
 
 The prjxray timing handles most nets +/- 1.5% delay.  The large exception to
 this is clock nets, which appear to use a table lookup that is not understood
 at this time.
 
 Running the model
-=================
+-----------------
 
 The provided Makefile will by default compile all examples.  It a specific design
 family is desired, the family name can be provided.  If a specific design within