- In the documentation, replaced <informalexample><programlisting> by |[...]| for...

[rodin/chimara.git] / src / stream.c

diff --git a/src/stream.c b/src/stream.c
index 358d06b7b204a566b3fc2a0cc0d9a4d000f132e0..42d77babc8aae0b68c71d80049c3849256d178ed 100644 (file)
--- 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