annotate lisp/paths.el @ 1673:975c866af92d

Sat Dec 12 03:22:57 1992 Jim Blandy (jimb@totoro.cs.oberlin.edu) * paths.el (Info-default-directory-list): The info files are supposed to be in /usr/local/info these days. Add it to the list of directories to search.
author Jim Blandy <jimb@redhat.com>
date Sat, 12 Dec 1992 15:22:04 +0000
parents a5486162a65a
children ba2fcbf5d6a1
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
659
505130d1ddf8 *** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents: 444
diff changeset
1 ;;; paths.el --- define pathnames for use by various Emacs commands.
505130d1ddf8 *** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents: 444
diff changeset
2
846
20674ae6bf52 *** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents: 814
diff changeset
3 ;; Copyright (C) 1986, 1988 Free Software Foundation, Inc.
20674ae6bf52 *** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents: 814
diff changeset
4
807
4f28bd14272c *** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents: 659
diff changeset
5 ;; Maintainer: FSF
814
38b2499cb3e9 *** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents: 807
diff changeset
6 ;; Keywords: internal
807
4f28bd14272c *** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents: 659
diff changeset
7
88
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
8 ;; This file is part of GNU Emacs.
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
9
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
10 ;; GNU Emacs is free software; you can redistribute it and/or modify
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
11 ;; it under the terms of the GNU General Public License as published by
807
4f28bd14272c *** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents: 659
diff changeset
12 ;; the Free Software Foundation; either version 2, or (at your option)
88
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
13 ;; any later version.
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
14
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
15 ;; GNU Emacs is distributed in the hope that it will be useful,
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
16 ;; but WITHOUT ANY WARRANTY; without even the implied warranty of
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
17 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
18 ;; GNU General Public License for more details.
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
19
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
20 ;; You should have received a copy of the GNU General Public License
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
21 ;; along with GNU Emacs; see the file COPYING. If not, write to
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
22 ;; the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA.
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
23
807
4f28bd14272c *** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents: 659
diff changeset
24 ;;; Commentary:
88
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
25
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
26 ;; These are default settings for names of certain files and directories
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
27 ;; that Emacs needs to refer to from time to time.
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
28
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
29 ;; If these settings are not right, override them with `setq'
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
30 ;; in site-init.el. Do not change this file.
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
31
807
4f28bd14272c *** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents: 659
diff changeset
32 ;;; Code:
4f28bd14272c *** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents: 659
diff changeset
33
390
4dfee0c58c2a *** empty log message ***
Roland McGrath <roland@gnu.org>
parents: 177
diff changeset
34 (defvar Info-default-directory-list
1673
975c866af92d Sat Dec 12 03:22:57 1992 Jim Blandy (jimb@totoro.cs.oberlin.edu)
Jim Blandy <jimb@redhat.com>
parents: 1618
diff changeset
35 (list "/usr/local/info/"
975c866af92d Sat Dec 12 03:22:57 1992 Jim Blandy (jimb@totoro.cs.oberlin.edu)
Jim Blandy <jimb@redhat.com>
parents: 1618
diff changeset
36 "/usr/local/lib/info/"
444
4cec2e6d4f9e *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 390
diff changeset
37 (expand-file-name "../info/" data-directory))
88
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
38 "List of directories to search for Info documentation files.")
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
39
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
40 (defvar news-path "/usr/spool/news/"
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
41 "The root directory below which all news files are stored.")
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
42
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
43 (defvar news-inews-program
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
44 (cond ((file-exists-p "/usr/bin/inews") "/usr/bin/inews")
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
45 ((file-exists-p "/usr/local/inews") "/usr/local/inews")
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
46 ((file-exists-p "/usr/local/bin/inews") "/usr/local/bin/inews")
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
47 ((file-exists-p "/usr/lib/news/inews") "/usr/lib/news/inews")
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
48 (t "inews"))
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
49 "Program to post news.")
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
50
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
51 (defvar gnus-default-nntp-server ""
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
52 ;; set this to your local server
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
53 "The name of the host running an NNTP server.
89
a2753c39509b *** empty log message ***
root <root>
parents: 88
diff changeset
54 If it is a string such as \":DIRECTORY\", then ~/DIRECTORY
a2753c39509b *** empty log message ***
root <root>
parents: 88
diff changeset
55 is used as a news spool. `gnus-nntp-server' is initialised from NNTPSERVER
88
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
56 environment variable or, if none, this value.")
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
57
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
58 (defvar gnus-nntp-service "nntp"
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
59 "NNTP service name, usually \"nntp\" or 119).
89
a2753c39509b *** empty log message ***
root <root>
parents: 88
diff changeset
60 Go to a local news spool if its value is nil, in which case `gnus-nntp-server'
a2753c39509b *** empty log message ***
root <root>
parents: 88
diff changeset
61 should be set to `(system-name)'.")
88
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
62
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
63 (defvar gnus-your-domain nil
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
64 "Your domain name without your host name like: \"stars.flab.Fujitsu.CO.JP\"
89
a2753c39509b *** empty log message ***
root <root>
parents: 88
diff changeset
65 The DOMAINNAME environment variable is used instead if defined. If
a2753c39509b *** empty log message ***
root <root>
parents: 88
diff changeset
66 the function `system-name' returns a fully qualified domain name, there is no
88
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
67 need to define the name.")
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
68
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
69 (defvar gnus-your-organization ""
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
70 "Your organization like: \"Fujitsu Laboratories Ltd., Kawasaki, Japan.\"
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
71 The `ORGANIZATION' environment variable is used instead if defined.")
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
72
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
73 (defvar mh-progs
855
a3068bc219cf entered into RCS
Richard M. Stallman <rms@gnu.org>
parents: 846
diff changeset
74 (cond ((file-directory-p "/usr/bin/mh/") "/usr/bin/mh/") ;Ultrix 4.2
a3068bc219cf entered into RCS
Richard M. Stallman <rms@gnu.org>
parents: 846
diff changeset
75 ((file-directory-p "/usr/new/mh/") "/usr/new/mh/") ;Ultrix <4.2
a3068bc219cf entered into RCS
Richard M. Stallman <rms@gnu.org>
parents: 846
diff changeset
76 ((file-directory-p "/usr/local/bin/mh/") "/usr/local/bin/mh/")
a3068bc219cf entered into RCS
Richard M. Stallman <rms@gnu.org>
parents: 846
diff changeset
77 ((file-directory-p "/usr/local/mh/") "/usr/local/mh/")
a3068bc219cf entered into RCS
Richard M. Stallman <rms@gnu.org>
parents: 846
diff changeset
78 (t "/usr/local/bin/"))
a3068bc219cf entered into RCS
Richard M. Stallman <rms@gnu.org>
parents: 846
diff changeset
79 "Directory containing MH commands.")
88
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
80
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
81 (defvar mh-lib
855
a3068bc219cf entered into RCS
Richard M. Stallman <rms@gnu.org>
parents: 846
diff changeset
82 (cond ((file-directory-p "/usr/lib/mh/") "/usr/lib/mh/") ;Ultrix 4.2
a3068bc219cf entered into RCS
Richard M. Stallman <rms@gnu.org>
parents: 846
diff changeset
83 ((file-directory-p "/usr/new/lib/mh/") "/usr/new/lib/mh/") ;Ultrix <4.2
a3068bc219cf entered into RCS
Richard M. Stallman <rms@gnu.org>
parents: 846
diff changeset
84 ((file-directory-p "/usr/local/lib/mh/") "/usr/local/lib/mh/")
a3068bc219cf entered into RCS
Richard M. Stallman <rms@gnu.org>
parents: 846
diff changeset
85 (t "/usr/local/bin/mh/"))
a3068bc219cf entered into RCS
Richard M. Stallman <rms@gnu.org>
parents: 846
diff changeset
86 "Directory of MH library.")
88
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
87
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
88 (defvar rmail-file-name "~/RMAIL"
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
89 "Name of user's primary mail file.")
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
90
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
91 (defvar gnus-startup-file "~/.newsrc"
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
92 "The file listing groups to which user is subscribed.
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
93 Will use `gnus-startup-file'-SERVER instead if exists.")
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
94
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
95 (defconst rmail-spool-directory
1618
a5486162a65a * paths.el (rmail-spool-directory): Add dgux-unix to the list of
Jim Blandy <jimb@redhat.com>
parents: 1489
diff changeset
96 (if (memq system-type '(dgux-unix hpux usg-unix-v unisoft-unix rtu
a5486162a65a * paths.el (rmail-spool-directory): Add dgux-unix to the list of
Jim Blandy <jimb@redhat.com>
parents: 1489
diff changeset
97 irix silicon-graphics-unix))
88
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
98 "/usr/mail/"
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
99 "/usr/spool/mail/")
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
100 "Name of directory used by system mailer for delivering new mail.
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
101 Its name should end with a slash.")
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
102
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
103 (defconst sendmail-program
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
104 (if (file-exists-p "/usr/lib/sendmail")
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
105 "/usr/lib/sendmail"
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
106 "fakemail") ;In ../etc, to interface to /bin/mail.
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
107 "Program used to send messages.")
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
108
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
109 (defconst term-file-prefix (if (eq system-type 'vax-vms) "[.term]" "term/")
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
110 "If non-nil, Emacs startup does (load (concat term-file-prefix (getenv \"TERM\")))
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
111 You may set this variable to nil in your `.emacs' file if you do not wish
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
112 the terminal-initialization file to be loaded.")
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
113
1489
c3d069d83cc6 (manual-program): Always use /usr/ucb/man if that exists.
Richard M. Stallman <rms@gnu.org>
parents: 855
diff changeset
114 ;; Solaris 2 has both of these files; prefer /usr/ucb/man
c3d069d83cc6 (manual-program): Always use /usr/ucb/man if that exists.
Richard M. Stallman <rms@gnu.org>
parents: 855
diff changeset
115 ;; because the other has nonstandard argument conventions.
c3d069d83cc6 (manual-program): Always use /usr/ucb/man if that exists.
Richard M. Stallman <rms@gnu.org>
parents: 855
diff changeset
116 (defconst manual-program (if (file-exists-p "/usr/ucb/man")
88
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
117 "/usr/ucb/man" "/usr/bin/man")
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
118 "Program to run to print man pages.")
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
119
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
120 ;; Note that /usr/man/cat is not really right for this on sysV; nothing is,
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
121 ;; judging by the list of directories below. You can't get the dir
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
122 ;; for a section by appending the section number to any one prefix.
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
123 ;; But it turns out that a string that's wrong does no harm here.
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
124 (defconst manual-formatted-dir-prefix
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
125 (if (file-exists-p "/usr/man/cat.C") ;; Check for Xenix.
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
126 "/usr/man/cat." "/usr/man/cat")
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
127 "Prefix for directories containing formatted manual pages.
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
128 Append a section-number or section-name to get a directory name.")
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
129
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
130 (defconst manual-formatted-dirlist
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
131 (cond ((eq system-type 'hpux)
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
132 '("/usr/man/cat1" "/usr/man/cat2" "/usr/man/cat3"
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
133 "/usr/man/cat4" "/usr/man/cat5" "/usr/man/cat6"
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
134 "/usr/man/cat7" "/usr/man/cat1m" "/usr/man/cat8"
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
135 "/usr/local/man/cat1" "/usr/local/man/cat2" "/usr/local/man/cat3"
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
136 "/usr/local/man/cat4" "/usr/local/man/cat5" "/usr/local/man/cat6"
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
137 "/usr/local/man/cat7" "/usr/local/man/cat1m" "/usr/local/man/cat8"
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
138 "/usr/contrib/man/cat1" "/usr/contrib/man/cat2"
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
139 "/usr/contrib/man/cat3" "/usr/contrib/man/cat4"
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
140 "/usr/contrib/man/cat5" "/usr/contrib/man/cat6"
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
141 "/usr/contrib/man/cat7" "/usr/contrib/man/cat1m"
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
142 "/usr/contrib/man/cat8"))
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
143 ((file-exists-p "/usr/man/cat.C") ; Xenix
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
144 '("/usr/man/cat.C" "/usr/man/cat.CP" "/usr/man/cat.CT"
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
145 "/usr/man/cat.DOS/" "/usr/man/cat.F" "/usr/man/cat.HW"
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
146 "/usr/man/cat.M/" "/usr/man/cat.S" "/usr/man/cat.LOCAL"))
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
147 ((file-exists-p "/usr/man/cat3/cat3")
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
148 ;; This is for UMAX.
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
149 '("/usr/man/cat1" "/usr/man/cat2"
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
150 "/usr/man/cat3" "/usr/man/cat3/cat3"
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
151 "/usr/man/cat3/cat3b" "/usr/man/cat3/cat3c"
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
152 "/usr/man/cat3/cat3f" "/usr/man/cat3/cat3m"
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
153 "/usr/man/cat3/cat3n" "/usr/man/cat3/cat3p"
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
154 "/usr/man/cat3/cat3s" "/usr/man/cat3/cat3u"
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
155 "/usr/man/cat3/cat3x" "/usr/man/cat4"
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
156 "/usr/man/cat5" "/usr/man/cat6"
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
157 "/usr/man/cat7" "/usr/man/cat8"
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
158 "/usr/man/catl" "/usr/man/catn"))
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
159 ((file-exists-p "/usr/man/cat1")
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
160 '("/usr/man/cat1" "/usr/man/cat2" "/usr/man/cat3"
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
161 "/usr/man/cat4" "/usr/man/cat5" "/usr/man/cat6"
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
162 "/usr/man/cat7" "/usr/man/cat8" "/usr/man/catl" "/usr/man/catn"))
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
163 (t
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
164 '("/usr/catman/u_man/man1" "/usr/catman/u_man/man6"
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
165 "/usr/catman/p_man/man2" "/usr/catman/p_man/man3"
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
166 "/usr/catman/p_man/man4" "/usr/catman/p_man/man5"
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
167 "/usr/catman/a_man/man1" "/usr/catman/a_man/man7"
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
168 "/usr/catman/a_man/man8" "/usr/catman/local"
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
169 "/usr/catman/a_man/man8" "/usr/catman/local/man1"
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
170 "/usr/catman/local/man2" "/usr/catman/local/man3"
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
171 "/usr/catman/local/man4" "/usr/catman/local/man5"
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
172 "/usr/catman/local/man6" "/usr/catman/local/man7"
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
173 "/usr/catman/local/man8")))
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
174 "List of directories containing formatted manual pages.")
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
175
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
176 (defconst abbrev-file-name
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
177 (if (eq system-type 'vax-vms)
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
178 "~/abbrev.def"
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
179 "~/.abbrev_defs")
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
180 "*Default name of file to read abbrevs from.")
659
505130d1ddf8 *** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents: 444
diff changeset
181
505130d1ddf8 *** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents: 444
diff changeset
182 ;;; paths.el ends here