Set the next document number.

jyasskin · jyasskin · commit 02a52ee9382b · 2014-02-14T17:09:54.000-08:00
diff --git a/main.html b/main.html
@@ -22,7 +22,7 @@
 </head>
 <body>
 <cxx-titlepage stage="draft">
-  <cxx-docnum>D????</cxx-docnum>
+  <cxx-docnum>D3908</cxx-docnum>
   <time pubdate="">2014-02-??</time>
   <cxx-revises><a href="http://isocpp.org/files/papers/N3848.html">N3848</a></cxx-revises>
   <cxx-editor>
