make install: don't fail if documentation couldn't be built.

[bup.git] / Documentation / .gitignore

diff --git a/Documentation/.gitignore b/Documentation/.gitignore
index 764de288071ae86745c3eb70465acbc5cf3f20b6..66426468900652ca78519483f4532c6b90996296 100644 (file)
--- a/Documentation/.gitignore
+++ b/Documentation/.gitignore
@@ -1,2 +1,3 @@
 *.[0-9]
 *.html
+.docs-available