X-Git-Url: https://git.stderr.nl/gitweb?a=blobdiff_plain;f=src%2Fstream.c;h=42d77babc8aae0b68c71d80049c3849256d178ed;hb=95f3e35d90c857ee15c30b91ad2f3aa6e3867879;hp=358d06b7b204a566b3fc2a0cc0d9a4d000f132e0;hpb=f4dde3bc7531f005ea8589ed0df7d2c75a156a71;p=projects%2Fchimara%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