diff options
author | Joey Ye <joey.ye@arm.com> | 2019-10-25 08:50:08 +0000 |
---|---|---|
committer | Joey Ye <joey.ye@arm.com> | 2019-10-25 08:50:08 +0000 |
commit | ba3b46f8b8bd573be85661d2c51c494611a49114 (patch) | |
tree | 3f3cb93cc306405a492c1ce8f5cb1adca5173e89 /libstdc++-v3/doc/Makefile.in | |
parent | 06b962b09cc4dadfb62a02be9fedd44f5052e5d6 (diff) | |
parent | 384826fb0df1448f1e413a8bfc77dfce48dafe7b (diff) |
merge with gcc-9-branch@277432ARM/arm-9-branch
git-svn-id: https://gcc.gnu.org/svn/gcc/branches/ARM/arm-9-branch@277439 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'libstdc++-v3/doc/Makefile.in')
-rw-r--r-- | libstdc++-v3/doc/Makefile.in | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/libstdc++-v3/doc/Makefile.in b/libstdc++-v3/doc/Makefile.in index 12be1f7e254..1058d5c3cc8 100644 --- a/libstdc++-v3/doc/Makefile.in +++ b/libstdc++-v3/doc/Makefile.in @@ -978,7 +978,6 @@ ${docbook_outdir}/fo: ${docbook_outdir}/html: mkdir -p ${docbook_outdir}/html - mkdir -p ${docbook_outdir}/html/ext mkdir -p ${docbook_outdir}/html/images mkdir -p ${docbook_outdir}/html/manual @@ -1030,6 +1029,12 @@ stamp-html-docbook: $(xml_sources) ${docbook_outdir}/html $(STAMP) stamp-html-docbook doc-html-docbook: stamp-html-docbook-data + +# Generate the HTML pages and copy them back to the source tree. +doc-html-docbook-regenerate: doc-html-docbook + $(INSTALL_DATA) ${docbook_outdir}/html/*.html ${top_srcdir}/doc/html + $(INSTALL_DATA) ${docbook_outdir}/html/images/* ${top_srcdir}/doc/html/images + $(INSTALL_DATA) ${docbook_outdir}/html/manual/*.html ${top_srcdir}/doc/html/manual stamp-html-single-docbook: $(xml_sources) ${docbook_outdir}/html @echo "Generating html single file..." $(XSLTPROC) $(XSLT_PARAM) $(XSLT_FLAGS) -o ${manual_html} \ |