Merge remote-tracking branch 'origin/maint'

[bison.git] / doc / local.mk

diff --git a/doc/local.mk b/doc/local.mk
index 53c0142d025636453bbc7090fda0fd74083585a3..aaea996d1245ded69c0be1f75e41ffe05426c1cc 100644 (file)
--- a/doc/local.mk
+++ b/doc/local.mk
@@ -123,9 +123,9 @@ EXTRA_DIST +=                                                               \
   $(FIGS_DOT:.dot=.eps) $(FIGS_DOT:.dot=.pdf) $(FIGS_DOT:.dot=.png)
 SUFFIXES += .dot .eps .pdf .png
 
-bison.dvi:  $(FIGS_DOT:.dot=.eps)
-bison.html: $(FIGS_DOT:.dot=.png)
-bison.pdf:  $(FIGS_DOT:.dot=.pdf)
+doc/bison.dvi:  $(FIGS_DOT:.dot=.eps)
+doc/bison.html: $(FIGS_DOT:.dot=.png)
+doc/bison.pdf:  $(FIGS_DOT:.dot=.pdf)
 
 .dot.eps:
        $(AM_V_GEN) $(MKDIR_P) `echo "./$@" | sed -e 's,/[^/]*$$,,'`