changeset 42034:d9589094b768

Update hostname for AUCTeX.
author Richard M. Stallman <rms@gnu.org>
date Fri, 14 Dec 2001 23:17:08 +0000
parents 032ba12349d0
children 05d9998e4a84
files etc/MORE.STUFF
diffstat 1 files changed, 2 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/etc/MORE.STUFF	Fri Dec 14 22:41:41 2001 +0000
+++ b/etc/MORE.STUFF	Fri Dec 14 23:17:08 2001 +0000
@@ -120,9 +120,9 @@
 You might like to check whether they are packaged for your system.
 Several are for Debian GNU/Linux in particular.
 
- * AUCTeX: fancy (La)TeX support: <URL:http://sunsite.auc.dk/auctex/>
+ * AUCTeX: fancy (La)TeX support: <URL:http://sunsite.dk/auctex/>
    There's an AUCTeX mail list/newsgroup:
-   <URL:news://sunsite.auc.dk/emacs.auctex>.
+   <URL:news://sunsite.dk/emacs.auctex>.
 
  * BBDB: personal Info Rolodex integrated with mail/news:
    <URL:http://bbdb.sourceforge.net/>