arbtt.xml: fix duplicate ID in release notes
authorgwern <gwern@gwern.net>
Wed, 3 Sep 2014 19:15:04 +0000 (19:15 +0000)
committergwern <gwern@gwern.net>
Wed, 3 Sep 2014 19:15:04 +0000 (19:15 +0000)
doc/arbtt.xml

index 731a72f..ba1363d 100644 (file)
@@ -1179,7 +1179,7 @@ Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
   The version history with changes relevant for the user is documented here.
   </para>
 
-  <sect2 id="release-notes-0.8">
+  <sect2 id="release-notes-0.8.1">
     <title>Version 0.8.1</title>
     <itemizedlist>
       <listitem>