diff options
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 |