]> arthur.barton.de Git - bup.git/commit
make install: don't fail if documentation couldn't be built.
authorAvery Pennarun <apenwarr@gmail.com>
Tue, 8 Jun 2010 04:05:54 +0000 (00:05 -0400)
committerAvery Pennarun <apenwarr@gmail.com>
Tue, 8 Jun 2010 04:05:54 +0000 (00:05 -0400)
commit951d88bb0a52b0322f755f2644943028cf8de896
treebbeac65422ef0d0a2db1cb6c5e9f23bcf2ea6981
parent26a32bacfa97dcb2297f3c0723ef7507bcaf056a
make install: don't fail if documentation couldn't be built.

Just silently refuse to install the documentation instead.  Reported by Karl
Kiniger.

Signed-off-by: Avery Pennarun <apenwarr@gmail.com>
Documentation/.gitignore
Documentation/Makefile
Makefile