Improve deploy build

.github/workflows/static.yml

@@ -31,7 +31,8 @@ jobs:
     steps:
       - name: Checkout
         uses: actions/checkout@v4
-      - run: nitiwiki --render --force
+      - run: git fetch --unshallow
+      - run: make deploy
       - name: Setup Pages
         uses: actions/configure-pages@v5
       - name: Upload artifact

Dockerfile

@@ -8,7 +8,7 @@ ENV PATH /nit/bin/:$PATH
 RUN make -C nit/contrib/nitiwiki
 
 FROM ubuntu:24.04
-RUN apt-get update && apt-get install -y libunwind8 libgc1 highlight pandoc
+RUN apt-get update && apt-get install -y git libunwind8 libgc1 highlight pandoc wget unzip make texlive-latex-base lmodern texlive-latex-recommended texlive-latex-extra --no-install-recommends
 COPY --from=0 /nit/contrib/nitiwiki/bin/nitiwiki /bin/nitiwiki
 COPY --from=0 /nit/misc/highlight/nit.lang /usr/share/highlight/langDefs
 RUN /bin/nitiwiki --help

Makefile

@@ -7,3 +7,17 @@ rebuild:
 	make -C pages/manual
 	git pull
 	nitiwiki --render --force -v
+
+deploy: doc.zip man.zip
+	make -C pages/manual
+	unzip -o man.zip -d pages/tools
+	nitiwiki --render --force -v
+	unzip -o doc.zip -d tmp
+	mv tmp/nitc tmp/stdlib target/doc/
+
+doc.zip:
+	wget https://nightly.link/nitlang/nit/workflows/master/test-ci/doc.zip
+
+man.zip:
+	wget https://nightly.link/nitlang/nit/workflows/master/test-ci/man.zip
+