Add a changelog for the OOPSLA paper

4 files changed, 29 insertions, 3 deletions

diff --git a/Makefile b/Makefile
index 10df2ae..865a1a0 100644
--- a/Makefile
+++ b/Makefile
@@ -24,8 +24,9 @@ layouts/partials/%.html: %.bib | layouts/partials
         -noabstract -nokeywords -nobibsource -nofooter -nodoc \
         --named-field url_video video --named-field url_tex tex \
         --named-field url_slides slides --named-field url_press press \
-        --named-field url_poster poster --named-field url_manuscript \
-        pdf --named-field url_blog_post blog --named-field \
+        --named-field url_poster poster --named-field url_manuscript pdf \
+        --named-field url_changelog changelog \
+        --named-field url_blog_post blog --named-field \
         url_artifact artifact $<
 	sed -r -e 's:\[(.*)\]:<b>\1</b>:g' $@ >$@.new && mv $@.new $@
 	sed -r -e 's:Yann Herklotz:<b>Yann Herklotz</b>:g' $@ >$@.new && mv $@.new $@
diff --git a/content.org b/content.org
index a5232e5..0a96c9b 100644
--- a/content.org
+++ b/content.org
@@ -1495,3 +1495,27 @@ continuous sinusoidal wave. This wave is passed to a speaker so that the tone is
 :EXPORT_FILE_NAME: _index
 :EXPORT_HUGO_SECTION: news
 :END:
+
+* Paper Changelog
+:PROPERTIES:
+:EXPORT_FILE_NAME: _index
+:EXPORT_HUGO_SECTION: changelog
+:END:
+
+A small collection of changelogs for papers that were published.  These explain the differences
+between the local copy on this website and the published version of the article on the ACM or IEEE.
+
+They will normally cover very small changes which are not going to be updated in the published
+version of the article.
+
+* Changelog Content
+
+** OOPSLA'21: Formally Verified High-Level Synthesis
+:PROPERTIES:
+:EXPORT_FILE_NAME: oopsla21_fvhls
+:EXPORT_HUGO_SECTION: changelog
+:END:
+
+*** 2022-06-28
+
+- Section 2.2, §3 :: This section mentioned a variable =x= which should have actually been =tmp=.
diff --git a/papers.bib b/papers.bib
index a752393..4aac9c1 100644
--- a/papers.bib
+++ b/papers.bib
@@ -23,7 +23,8 @@
   url_slides = {/docs/oopsla21/slides_fvhls.pdf},
   url_artifact = {https://github.com/ymherklotz/vericert},
   url_video = {https://youtu.be/clPiKbKVlUA},
-  url_poster = {/docs/oopsla21/poster_fvhls.pdf}
+  url_poster = {/docs/oopsla21/poster_fvhls.pdf},
+  url_changelog = {/changelog/oopsla21_fvhls}
 }
 
 @inproceedings{FCCM&nbsp;&#39;21,
diff --git a/static/papers/oopsla21_fvhls.pdf b/static/papers/oopsla21_fvhls.pdf
index 249b2bd..05c10f1 100644
--- a/static/papers/oopsla21_fvhls.pdf
+++ b/static/papers/oopsla21_fvhls.pdf