--- a/relpipe-data/download.xml Wed Dec 19 23:30:48 2018 +0100
+++ b/relpipe-data/download.xml Thu Dec 20 01:42:36 2018 +0100
@@ -41,9 +41,11 @@
<m:pre jazyk="bash"><![CDATA[ls -1d relpipe-* | while read r; do hg pull --update --repository "$r"; done]]></m:pre>
- <p>
- n.b. currently it might be a bit difficult to compile them, please stay tuned for v0.8, where the build process will be properly documented
- </p>
+ <h2>Released versions</h2>
+
+ <ul>
+ <li>2018-12-20: <m:a href="release-v0.8">v0.8</m:a></li>
+ </ul>
</text>