diff options
| -rw-r--r-- | doc/Make.config | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/Make.config b/doc/Make.config index 73ca1db22d..afed50282d 100644 --- a/doc/Make.config +++ b/doc/Make.config @@ -12,6 +12,7 @@ SRCDIR=/usr1/rtems/rtemsdoc-work BMENU=$(SRCDIR)/tools/bmenu/bmenu PDL2TEXI=$(SRCDIR)/tools/pdl2texi/pdl2texi +SRC2HTML=$(SRCDIR)/tools/src2html/src2html TEXI2DVI=$(SRCDIR)/tools/texi2www/texi2dvi TEXI2WWW=$(SRCDIR)/tools/texi2www/texi2www MAKEINFO=makeinfo |