CONTRIBUTING.md: add stub and append to generated HTML

yurrriq · yurrriq · commit 5c7e9e8b2325 · 2017-07-19T18:21:10.000-05:00
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
@@ -0,0 +1,3 @@
+## Contributing
+
+_TBD_ (see [issue #4](https://github.com/idris-hackers/software-foundations/issues/4) for discussion)
diff --git a/Makefile b/Makefile
@@ -39,5 +39,7 @@ clean-docs:
 site: docs/index.html
 
 
-docs/index.html: README.md
-	pandoc -f markdown_github -t html -s -o $@ $<
+docs/index.html: README.md CONTRIBUTING.md
+	pandoc -f markdown_github -t markdown_github \
+	-A CONTRIBUTING.md $< \
+		| pandoc -f markdown_github -t html -s -o $@
diff --git a/docs/index.html b/docs/index.html
@@ -8,7 +8,7 @@
   <style type="text/css">code{white-space: pre;}</style>
 </head>
 <body>
-<h1 id="software-foundationssf-in-idris"><em><a href="http://www.cis.upenn.edu/%7Ebcpierce/sf/current/index.html">Software Foundations</a> in Idris</em></h1>
+<h1 id="software-foundations-in-idris"><em><a href="http://www.cis.upenn.edu/%7Ebcpierce/sf/current/index.html">Software Foundations</a> in Idris</em></h1>
 <p>📖 <a href="https://idris-hackers.github.io/software-foundations/pdf/sf-idris-2016.pdf">Download the PDF</a></p>
 <h2 id="building">Building</h2>
 <p>To rebuild the PDF, ensure the <a href="#prerequisites">prerequisites</a> are installed, then:</p>
@@ -70,5 +70,7 @@ <h3 id="prerequisites">Prerequisites</h3>
 </tbody>
 </table>
 <!-- Named Links -->
+<h2 id="contributing">Contributing</h2>
+<p><em>TBD</em> (see <a href="https://github.com/idris-hackers/software-foundations/issues/4">issue #4</a> for discussion)</p>
 </body>
 </html>

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+## Contributing`
	`2`	`+`
	`3`	`+_TBD_ (see [issue #4](https://github.com/idris-hackers/software-foundations/issues/4) for discussion)`