Tobias Berner Tue, 04 Oct 2016 07:44:39 -0700
SVN commit 13115 by tcberner: Remove DOCS option
M +1 -3 Makefile
