build: detect doc generation failure
Commit 8665f855 introduced a slight regression in doc generation, since make only quits a rule on the first failed command ending with a newline rather than a semicolon. * docs/Makefile.am (html/index.html): Don't use xmllint unless xsltproc succeeded. * .gitignore: Ignore recently updated stamp file name.
Showing
想要评论请 注册 或 登录