@insertcopying
@end titlepage
-@c fixme; title page doesn't show up in ada-mode.info; why bother with
-@c it?
+@contents
@node Top, Overview, (dir), (dir)
+@ifnottex
+@insertcopying
+@end ifnottex
+
@menu
* Overview::
* Installation:: Installing Ada mode on your system
@printindex fn
-@contents
@bye
@ignore