K 10 svn:author V 6 dteske K 8 svn:date V 27 2013-02-08T11:14:01.565885Z K 7 svn:log V 238 Remove NO_OBJ from Makefiles that generate manuals because this causes the GZIP compressed manuals to appear in ./src instead of the appropriate obj dir. PR: conf/175844 Submitted by: Dominique Goncalves END