diff src/s/gnu-linux.h @ 87055:09f5a2d2bbcf

(set-version): Handle configure.in. Adapt for doc/ directory layout for manuals.
author Glenn Morris <rgm@gnu.org>
date Wed, 05 Dec 2007 03:32:05 +0000
parents f06998349cfc
children 68df465b9550 f55f9811f5d7
line wrap: on
line diff