Add options.texi to dist filespcb-20110918-RELEASE
commitbd56b7522660fe695e5ca2ffaae1d793db7d035d
authorDJ Delorie <dj@delorie.com>
Sun, 18 Sep 2011 20:05:24 +0000 (18 16:05 -0400)
committerDJ Delorie <dj@delorie.com>
Sun, 18 Sep 2011 20:05:24 +0000 (18 16:05 -0400)
treede97b09948a4c727772a4303a3440fc9ccbaf78d
parente002dc98b75b75477bcebe9eb090cdc9d95f70d3
Add options.texi to dist files
doc/Makefile.am