X-Git-Url: https://git.stderr.nl/gitweb?a=blobdiff_plain;f=src%2Fstream.c;h=42d77babc8aae0b68c71d80049c3849256d178ed;hb=e962e1889909fd7c4e89b8f613d15457987bcbc6;hp=358d06b7b204a566b3fc2a0cc0d9a4d000f132e0;hpb=3c7e09ffabd2962b5345c906b4d46757b796a4da;p=rodin%2Fchimara.git

diff --git a/src/stream.c b/src/stream.c
index 358d06b..42d77ba 100644
--- a/src/stream.c
+++ b/src/stream.c
@@ -154,10 +154,10 @@ glk_put_char_uni(glui32 ch)
  *
  * Prints a null-terminated string to the current stream. It is exactly
  * equivalent to
- * <informalexample><programlisting>
+ * |[
  * for (ptr = @s; *ptr; ptr++)
  * 	#glk_put_char(*ptr);
- * </programlisting></informalexample>
+ * ]|
  * However, it may be more efficient.
  */
 void
@@ -189,10 +189,10 @@ glk_put_string_uni(glui32 *s)
  *
  * Prints a block of characters to the current stream. It is exactly equivalent
  * to:
- * <informalexample><programlisting>
+ * |[
  * for (i = 0; i < @len; i++)
  * 	#glk_put_char(@buf[i]);
- * </programlisting></informalexample>
+ * ]|
  * However, it may be more efficient.
  */
 void