diff options
author | Joel Sherrill <joel.sherrill@OARcorp.com> | 1998-04-14 21:21:40 +0000 |
---|---|---|
committer | Joel Sherrill <joel.sherrill@OARcorp.com> | 1998-04-14 21:21:40 +0000 |
commit | 529b8c1f55f531ad6218204d96ab06170e615b9c (patch) | |
tree | 362d5239b1277d2e28d052c775b44d32dfe5104a | |
parent | added browseable RTEMS (diff) | |
download | rtems-529b8c1f55f531ad6218204d96ab06170e615b9c.tar.bz2 |
Added src2html directory.
-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 |