chore: fix "docs ghpages/deploy" ci

[duguorong009]

Description

• fix the error in "docs ghpages/deploy" ci

Related issues

Changes

• upgrade the toolchain to nightly-2023-10-05 in docs-ghpages.yml
• move the katex-header.html file from ./halo2/ dir to .github/ dir
• add the process of copying/deleting the html files needed for ci

[CPerezz]

Do we know if there's any way to have the JS scripts in a single place and then we import them to every crate? I think that would make it easier to maintain.

[CPerezz]

Why do we fix to this specific version?

[adria0]

Maybe in the opposite direction: why we need a dynamic, some times broken nightly versions? It could generate build problems without any clear gain.

I even changed to a fixed release version in zcash/halo2 to proper generate the book: zcash@7df93fd#diff-b8e1b9f11d0148dab38c89b9eaf5aa56792726c6cead6bf9e359f53faa0eedb3L15

[duguorong009]

The reasons that I use the nightly-2023-10-05 include the followings:

• options for cargo doc command needs nightly compiler
• latest nightly compiler fails to compile the pathfinder_simd crate
• nightly-2023-10-05 is the one zcash repo used(+ compile success)

@CPerezz
I think reason 2 and 3 gives you the answer

@adria0
FYI, the toolchain version you tried in the commit is for mdbook crate install.
zcash@7df93fd#diff-b8e1b9f11d0148dab38c89b9eaf5aa56792726c6cead6bf9e359f53faa0eedb3R28-R29
In addition, you can see that they use the nightly-2023-10-05 toolchain for cargo doc command(what we are discussing).
zcash@7df93fd#diff-b8e1b9f11d0148dab38c89b9eaf5aa56792726c6cead6bf9e359f53faa0eedb3R43-R54

[CPerezz]

Can you add an empty new line at the end of the file?

[duguorong009]

Done d58b4b8

[davidnevadoc]

LGTM!

[duguorong009]

Do we know if there's any way to have the JS scripts in a single place and then we import them to every crate? I think that would make it easier to maintain.

Done c1e823a

[ed255]

LGTM!