diff options
Diffstat (limited to 'doc/local.mk')
-rw-r--r-- | doc/local.mk | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/local.mk b/doc/local.mk index 1f7b3b22..4fe0859c 100644 --- a/doc/local.mk +++ b/doc/local.mk @@ -118,7 +118,9 @@ $(top_srcdir)/doc/bison.1: doc/bison.help doc/bison.x $(top_srcdir)/configure fi $(AM_V_at)rm -f $@*.t +if ENABLE_YACC nodist_man_MANS = doc/yacc.1 +endif ## ----------------------------- ## ## Graphviz examples generation. ## |