projects / platform / upstream / bison.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: df04a68) | patch
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)
commite20daefe9875f82ba581fdf1f8cce411dd87ff0e
tree0e8996c48e3e83b20085fcdf17a13c4fef575cd3tree | snapshot
parentdf04a68ab54dcd8b899532c51ed0c8e1a0486296commit | diff
maint: use gendocs's new -I option

* gnulib: Update gendocs.
* cfg.mk (gendocs_options_): New.
cfg.mk diff | blob | history
gnulib diff | blob | history
Domain: System / Toolchain;