]> git.saurik.com Git - bison.git/commit
projects / bison.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a7c09cb) | patch
Display the changes in cross-options.texi.
authorAkim Demaille <demaille@gostai.com>
Fri, 21 Nov 2008 20:21:52 +0000 (21:21 +0100)
committerAkim Demaille <demaille@gostai.com>
Fri, 21 Nov 2008 20:25:16 +0000 (21:25 +0100)
commit01466c3ebe1cdcc89a59aac157284409c2b441b5
treeb578512c15616bb8d934cd9b3868f8295e08a978tree | snapshot
parenta7c09cba098dd0140b0ba0336cd05ece2c8dfcf0commit | diff
Display the changes in cross-options.texi.

* build-aux/cross-options.pl ($sep): New, to separate items.
* doc/local.mk ($(CROSS_OPTIONS_TEXI)): Use diff to display the
changes.
ChangeLog diff | blob | blame | history
build-aux/cross-options.pl diff | blob | blame | history
doc/local.mk diff | blob | blame | history
bison