diff options
Diffstat (limited to 'doc/common/rtems.texi.in')
| -rw-r--r-- | doc/common/rtems.texi.in | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/doc/common/rtems.texi.in b/doc/common/rtems.texi.in new file mode 100644 index 0000000000..a309204001 --- /dev/null +++ b/doc/common/rtems.texi.in @@ -0,0 +1,17 @@ +@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@ +@set RTEMSRPMPREFIX @RTEMSRPMPREFIX@ +@set RTEMSRPMGROUP @RTEMSRPMGROUP@ |