diff options
author | wlemb <wlemb> | 2000-10-22 19:30:15 +0000 |
---|---|---|
committer | wlemb <wlemb> | 2000-10-22 19:30:15 +0000 |
commit | ca467670909e8af66bfdad7600fadec77486ddfd (patch) | |
tree | b15177a64f76c863f380c21da40d5f1060b5bd34 /gendef.sh | |
parent | faf6c7cd34b4a7823f7b61cad13f70877bf4a315 (diff) | |
download | groff-ca467670909e8af66bfdad7600fadec77486ddfd.tar.gz |
Implement $GROFF_BIN_PATH environment variable (which defaults to
$bindir) used for child programs of groff and similar wrappers.
* gendefs.sh: Improve documentation.
* Makefile.comm (,man.n), src/include/Makefile.sub (defs.h),
src/preproc/eqn/Makefile.sub (neqn),
src/roff/nroff/Makefile.sub (nroff): Add $(bindir).
* src/preproc/eqn/neqn.sh, src/roff/nroff/nroff.sh: Implement
$GROFF_BIN_PATH.
* src/roff/groff/groff.cc (main): Implement $GROFF_BIN_PATH and
$GROFF_PATH__ (the latter for communication with troff).
* src/roff/troff/input.cc (main): Use $GROFF_PATH__ for $PATH if
set.
* src/roff/nroff/nroff.man, src/roff/groff/groff.man,
doc/groff.texinfo: Document it.
Diffstat (limited to 'gendef.sh')
-rw-r--r-- | gendef.sh | 8 |
1 files changed, 7 insertions, 1 deletions
@@ -1,4 +1,8 @@ -# gendef filename var=val var=val +# +# gendef filename var=val var=val ... +# +# This script is used to generate src/include/defs.h +# file=$1 shift @@ -26,3 +30,5 @@ test -r $file && cmp -s $t $file || cp $t $file rm -f $t exit 0 + +# eof |