David Creswick 714a2c678c fix "make install"
There seems to be a problem introduced by
8b3c67690c4747b9fadfef407e6261524fb03f8a that causes "make install"
to fail when the build is not configured to skip doc building.
2014-12-31 17:33:47 -06:00
..
2014-12-19 13:05:06 +01:00
2014-12-16 17:08:49 +01:00
2014-12-29 19:08:35 -08:00
2014-12-31 17:33:47 -06:00
2014-12-11 15:33:27 -07:00
2014-02-14 19:17:50 -08:00