diff options
author | Charles Phillips <Charles.Phillips@OARcorp.com> | 1999-10-25 17:42:49 +0000 |
---|---|---|
committer | Charles Phillips <Charles.Phillips@OARcorp.com> | 1999-10-25 17:42:49 +0000 |
commit | 6a27e0829a9983bbdf7faae6071fb9160ae28bf3 (patch) | |
tree | 7b8330430ce7691437e24a6ed1db871fa7fe2bf9 /doc/FAQ | |
parent | Added definition of DDD. Modified url references to be (diff) | |
download | rtems-6a27e0829a9983bbdf7faae6071fb9160ae28bf3.tar.bz2 |
Modified url references to be dynamic links.
Diffstat (limited to 'doc/FAQ')
-rw-r--r-- | doc/FAQ/tools.t | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/FAQ/tools.t b/doc/FAQ/tools.t index 1b0ef985c3..2bb9f450bf 100644 --- a/doc/FAQ/tools.t +++ b/doc/FAQ/tools.t @@ -13,7 +13,7 @@ in a non-language specific way. @section What is GNU? -Take a look at http://www.gnu.org for information on the GNU Project. +Take a look at @uref{http://www.gnu.org} for information on the GNU Project. @section How do I generate a patch? |