diff options
author | wlemb <wlemb> | 2000-11-22 22:11:16 +0000 |
---|---|---|
committer | wlemb <wlemb> | 2000-11-22 22:11:16 +0000 |
commit | 1046f4b81acf3cf2b917b4409c373fe6278fc6be (patch) | |
tree | 01956c52cbed4bd0bc22676184739124e3da7292 /src/devices/grodvi | |
parent | 84b1d88c8adc19b3e308483bbc614620bfac4f6f (diff) | |
download | groff-1046f4b81acf3cf2b917b4409c373fe6278fc6be.tar.gz |
Use safer path (except for config files) if -U isn't specified. Add
a special macro path (without home and current directory) for config
files. Add home directory to unsafe path for consistency. Don't
include the home directory in the font path.
* src/lib/libgroff/macropath.cc: Add `config_macro_path', change
`macro_path'.
* src/include/macropath.h: Add `config_macrp_path'.
* src/lib/libgroff/fontfile.cc: Fix font path.
* src/roff/troff/input.cc (process_startup_file): Use
`config_macro_path'.
(main): Select unsafe path if -U is given.
* src/preproc/eqn/main.cc (main): Fixing search path for
configuration file.
* src/preproc/eqn/eqn.man: Updated.
* src/roff/troff/troff.man, man/roff.man, tmac/groff_tmac.man:
Updated.
* src/preproc/grn/grn.man, src/devices/grodvi/grodvi.man,
src/devices/grohtml/grohtml.man, src/devices/grolbp/grplbp.man,
src/devices/grolj4/grolj4.man, src/devices/grops/grops.man,
src/devices/grotty/grotty.man: Updated.
* Makefile.in: Fix comments.
src/roff/groff/groff.man, tmac/groff_tmac.man, arch/djgpp/README:
Diffstat (limited to 'src/devices/grodvi')
-rw-r--r-- | src/devices/grodvi/grodvi.man | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/devices/grodvi/grodvi.man b/src/devices/grodvi/grodvi.man index 23cd38e2..7aa44316 100644 --- a/src/devices/grodvi/grodvi.man +++ b/src/devices/grodvi/grodvi.man @@ -134,9 +134,9 @@ Set the default line thickness to thousandths of an em. .TP .BI \-F dir -Search directory +Prepend directory .IB dir /devdvi -for font and device description files. +to the search path for font and device description files. .SH FILES .TP .B @FONTDIR@/devdvi/DESC |