Merge pull request #234 from berkerpeksag/disable-docs
authorTom Tromey <tom@tromey.com>
Tue, 17 May 2016 23:07:27 +0000 (17:07 -0600)
committerTom Tromey <tom@tromey.com>
Tue, 17 May 2016 23:07:27 +0000 (17:07 -0600)
commita44a5b863aaae98041e11aa3256907bf912ee4d6
treeefa3818d74beb858ff4557292c4a6d4369809d6a
parent9443eaeda867cfdeae92b10bee3cc0506892a4c5
parent2627fc98e86e906fd7c9bc16bf345b91ee26d2ba
Merge pull request #234 from berkerpeksag/disable-docs

Add a note about the --disable-docs switch