Merge pull request #784 from jnfoster/trivial

Rebuild gh-pages
p4lang · Oct 15, 2019 · 78eb223 · 78eb223
2 parents 9070cb1 + 2334578
commit 78eb223
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/p4-16/spec/README.md b/p4-16/spec/README.md
@@ -25,6 +25,7 @@ Files:
 - ```Makefile``` builds documentation in the build subdirectory
 
 ## Building
+
 Follow the instructions for various platforms below.
 
 HINT: For *nix builds using make, you can use use `make html` for quicker turnarounds and `make` for the final htlp + PDF output.