Skip to content
Blame Permalink
  • Jens Petersen's avatar
    c7902078
    avoid hadrian/bindist/Makefile install_docs error when --docs=none · c7902078
    Jens Petersen authored and Marge Bot's avatar Marge Bot committed 
    When docs are disabled the bindist does not have docs/ and hence docs-utils/ is not generated.
Here we just test that docs-utils exists before attempting to install prologue.txt and gen_contents_index
to avoid the error:

/usr/bin/install: cannot stat 'docs-utils/prologue.txt': No such file or directory
make: *** [Makefile:195: install_docs] Error 1
    c7902078
    avoid hadrian/bindist/Makefile install_docs error when --docs=none
    Jens Petersen authored and Marge Bot's avatar Marge Bot committed 
    When docs are disabled the bindist does not have docs/ and hence docs-utils/ is not generated.
Here we just test that docs-utils exists before attempting to install prologue.txt and gen_contents_index
to avoid the error:

/usr/bin/install: cannot stat 'docs-utils/prologue.txt': No such file or directory
make: *** [Makefile:195: install_docs] Error 1