diff doc/interpreter/tips.txi @ 6670:14992092ab06

[project @ 2007-05-29 17:51:37 by jwe]
author jwe
date Tue, 29 May 2007 17:51:37 +0000
parents f14a0d35f90b
children 083721ae3dfa
line wrap: on
line diff
--- a/doc/interpreter/tips.txi
+++ b/doc/interpreter/tips.txi
@@ -227,9 +227,9 @@
 This line states the name and net address of at least the principal
 author of the library.
 
-@smallexample
+@example
 ## Author: John W. Eaton <jwe@@bevo.che.wisc.edu>
-@end smallexample
+@end example
 
 @item Maintainer
 This line should contain a single name/address as in the Author line, or