]> git.saurik.com Git - bison.git/commitdiff
maint: use gendocs's new -I option
authorAkim Demaille <akim@lrde.epita.fr>
Wed, 24 Oct 2012 14:59:30 +0000 (16:59 +0200)
committerAkim Demaille <akim@lrde.epita.fr>
Fri, 26 Oct 2012 14:32:51 +0000 (16:32 +0200)
* gnulib: Update gendocs.
* cfg.mk (gendocs_options_): New.

cfg.mk
gnulib

diff --git a/cfg.mk b/cfg.mk
index 3a70379ceff32ac9cc53b0bd7c977366b4262593..9f11f3774aa15fa7ab32c8d7d91a115e8833e7c2 100644 (file)
--- a/cfg.mk
+++ b/cfg.mk
@@ -24,6 +24,7 @@ regen: _version
 
 # Used in maint.mk's web-manual rule
 manual_title = The Yacc-compatible Parser Generator
+gendocs_options_ = -I $(abs_top_srcdir)/doc -I $(abs_top_builddir)/doc
 
 # It's useful to run maintainer-*check* targets during development, but we
 # don't want to wait on a recompile because of an update to $(VERSION).  Thus,
diff --git a/gnulib b/gnulib
index d245e6ddd6ab2624d0d83acd8f111454f984f50f..0e6a848c8cd1e9442e3794c7dcd2f535ea9797c6 160000 (submodule)
--- a/gnulib
+++ b/gnulib
@@ -1 +1 @@
-Subproject commit d245e6ddd6ab2624d0d83acd8f111454f984f50f
+Subproject commit 0e6a848c8cd1e9442e3794c7dcd2f535ea9797c6