diff --git a/user_manual/Makefile b/user_manual/Makefile index 240d4c7d19d..c2972d79178 100644 --- a/user_manual/Makefile +++ b/user_manual/Makefile @@ -68,8 +68,8 @@ merge-folders: cd $(BUILDDIR)/html/ && rm -rf `find -type d -name _images` mv ./_static $(BUILDDIR)/html/ mv ./_images $(BUILDDIR)/html/ - cd $(BUILDDIR)/html/ && find ./ -type f -exec sed -i -e 's/_images/..\/_images/g' {} \; - cd $(BUILDDIR)/html/ && find ./ -type f -exec sed -i -e 's/_static/..\/_static/g' {} \; + cd $(BUILDDIR)/html/ && find ./ -type f -exec perl -pi -e 's|_images|../_images|g' {} \; + cd $(BUILDDIR)/html/ && find ./ -type f -exec perl -pi -e 's|_static|../_static|g' {} \; dirhtml: $(SPHINXBUILD) -b dirhtml $(ALLSPHINXOPTS) $(BUILDDIR)/dirhtml