• Colin Walters's avatar
    build: Add --disable-man option · 2cc0b702
    Colin Walters authored
    1) For embedded systems, it makes no sense to include documentation
       of this kind on each image.  So we might as well not even build
    2) For people bootstrapping systems from source code, documentation
       is the source of many cyclical build loops.  Allowing it to
        be disabled helps cut these loops.
    3) The Docbook stylesheets and build system have no sane upstream,
       and so at the moment aren't included in gnome-ostree.
Makefile.am 82 Bytes