diff options
Diffstat (limited to '')
| -rw-r--r-- | doc/common/rtems.texi.in | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/doc/common/rtems.texi.in b/doc/common/rtems.texi.in new file mode 100644 index 0000000000..6c50bb4e7e --- /dev/null +++ b/doc/common/rtems.texi.in @@ -0,0 +1,16 @@ +@c +@c $Id$ +@c + +@set RTEMSHTTPSITE www.rtems.com +@set RTEMSUSERS rtems-users@@rtems.com +@set RTEMSUSERSSUBSCRIBE rtems-users-subscribe@@rtems.com +@set RTEMSSNAPSHOTS rtems-snapshots@@rtems.com +@set RTEMSSNAPSHOTSSUBSCRIBE rtems-snapshots-subscribe@@rtems.com +@set RTEMSBUGS rtems-bugs@@rtems.com +@set RTEMSFTPURL ftp://www.rtems.com +@set RTEMSHTTPURL http://www.rtems.com +@set RTEMSGNATS @value{RTEMSHTTPURL}/cgi-bin/gnatsweb.pl +@set RTEMSPREFIX @RTEMSPREFIX@ +@set RTEMSAPI @RTEMSAPI@ + |