diff options
Diffstat (limited to 'Makefile.comm')
-rw-r--r-- | Makefile.comm | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Makefile.comm b/Makefile.comm index 291a94e3..3f103352 100644 --- a/Makefile.comm +++ b/Makefile.comm @@ -148,6 +148,9 @@ revision=`sed -e 's/^0$$//' -e 's/^[1-9].*$$/.&/' $(top_srcdir)/REVISION` -e "s|@SYSTEMMACRODIR@|$(systemtmacdir)|g" \ -e "s|@LOCALMACRODIR@|$(localtmacdir)|g" \ -e "s|@MACROPATH@|$(tmacpath)|g" \ + -e "s|@DOCDIR@|$(docdir)|g" \ + -e "s|@EXAMPLEDIR@|$(exampledir)|g" \ + -e "s|@HTMLDOCDIR@|$(htmldocdir)|g" \ -e "s|@DEVICE@|$(DEVICE)|g" \ -e "s|@DEFAULT_INDEX@|$(indexdir)/$(indexname)|g" \ -e "s|@DEFAULT_INDEX_NAME@|$(indexname)|g" \ |