Documentation: fix the HTMLZIP name to restore the download-documentation functionality (#4628)

This commit is contained in:
Francesco Montorsi 2023-11-13 15:47:38 +01:00 committed by GitHub
parent 61050beca6
commit 814dab58a4
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -33,5 +33,6 @@ build:
# ------------ # ------------
# Note that for usability we make sure zip will create a zipfile containing just a flat list of HTML files; # Note that for usability we make sure zip will create a zipfile containing just a flat list of HTML files;
# to achieve that it's important to avoid storing absolute paths when invoking "zip", thus we use -j # to achieve that it's important to avoid storing absolute paths when invoking "zip", thus we use -j
# Also note that the archive name should match exactly the project slug, "libzmq" in this case.
- mkdir -p $READTHEDOCS_OUTPUT/htmlzip/ - mkdir -p $READTHEDOCS_OUTPUT/htmlzip/
- cd $READTHEDOCS_OUTPUT/html && zip -j ../htmlzip/zeromq.zip *.html - cd $READTHEDOCS_OUTPUT/html && zip -j ../htmlzip/libzmq.zip *.html