diff options
Diffstat (limited to 'Doc/Makefile.in')
-rw-r--r-- | Doc/Makefile.in | 15 |
1 files changed, 11 insertions, 4 deletions
diff --git a/Doc/Makefile.in b/Doc/Makefile.in index 7d4d4745c..f7dbf3866 100644 --- a/Doc/Makefile.in +++ b/Doc/Makefile.in @@ -27,8 +27,15 @@ subdir = Doc dir_top = .. -@@version.mk@@ -@@defs.mk@@ +@VERSION_MK@ + +# source/build directories +VPATH = @srcdir@ +sdir = @srcdir@ +sdir_top = @top_srcdir@ +INSTALL = @INSTALL@ + +@DEFS_MK@ MAKEINFO = makeinfo TEXI2DVI = texi2dvi @@ -195,7 +202,7 @@ uninstall.info: # ========== DEPENDENCIES FOR CLEANUP ========== -@@clean.mk@@ +@CLEAN_MK@ clean-here: rm -f *.html *.info* *.dvi *.ps @@ -210,4 +217,4 @@ realclean-here: # ========== DEPENDENCIES FOR MAINTENANCE ========== -@@config.mk@@ +@CONFIG_MK@ |