diff options
| author | Joel Sherrill <joel.sherrill@OARcorp.com> | 1998-04-03 16:32:22 +0000 |
|---|---|---|
| committer | Joel Sherrill <joel.sherrill@OARcorp.com> | 1998-04-03 16:32:22 +0000 |
| commit | f568b5d55830b34dcb4dac6b72afb7d6406deef1 (patch) | |
| tree | 2b38710849f0e1244492a1f97eb4c45a6e91903b /doc/Make.config | |
| parent | Renamed. (diff) | |
| download | rtems-f568b5d55830b34dcb4dac6b72afb7d6406deef1.tar.bz2 | |
Added texi2www to this tree
Diffstat (limited to 'doc/Make.config')
| -rw-r--r-- | doc/Make.config | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/Make.config b/doc/Make.config index eb85526cb1..12e9061f33 100644 --- a/doc/Make.config +++ b/doc/Make.config @@ -12,8 +12,8 @@ SRCDIR=/usr1/rtems/rtemsdoc-work BMENU=$(SRCDIR)/tools/bmenu/bmenu PDL2TEXI=$(SRCDIR)/tools/pdl2texi/pdl2texi -TEXI2DVI=/usr1/tmp/texi2www-960103/texi2dvi -TEXI2WWW=/usr1/tmp/texi2www-960103/texi2www +TEXI2DVI=$(SRCDIR)/tools/texi2www/texi2dvi +TEXI2WWW=$(SRCDIR)/tools/texi2www/texi2www MAKEINFO=makeinfo INFO=info XDVI=xdvi -s 4 |