projects / xen.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: de43d7a) | patch
docs, build: Tolerate missing fig2dev
authorIan Jackson <ian.jackson@eu.citrix.com>
Tue, 9 Oct 2012 16:59:58 +0000 (17:59 +0100)
committerIan Jackson <ian.jackson@eu.citrix.com>
Tue, 9 Oct 2012 16:59:58 +0000 (17:59 +0100)
commit8e26a013fd848eb2437768e275751b514698b990
treee997d7a6f693082db5b1320bc3bfdce5f0dff33etree | snapshot
parentde43d7a373eef95bedcd816f1fcf8c062e1ac328commit | diff
docs, build: Tolerate missing fig2dev

Signed-off-by: Ian Jackson <ian.jackson@eu.citrix.com>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
Committed-by: Ian Campbell <ian.campbell@citrix.com>
docs/Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.