From 693aa1cc48527a6138cc08fe8496c1c1fcbd31b1 Mon Sep 17 00:00:00 2001
From: Kiron <kiron1@gmail.com>
Date: Tue, 7 Jan 2025 19:31:02 +0800
Subject: [PATCH] Build www zip with bazel

---
 .github/workflows/pages.yaml | 41 ------------------------------------
 www/BUILD                    |  5 ++---
 2 files changed, 2 insertions(+), 44 deletions(-)
 delete mode 100644 .github/workflows/pages.yaml

diff --git a/.github/workflows/pages.yaml b/.github/workflows/pages.yaml
deleted file mode 100644
index 520182d..0000000
--- a/.github/workflows/pages.yaml
+++ /dev/null
@@ -1,41 +0,0 @@
-name: pages
-
-on:
-  push:
-    branches:
-      - "main"
-  workflow_dispatch:
-
-jobs:
-  build:
-    runs-on: ubuntu-latest
-
-    steps:
-      - name: Checkout repository
-        uses: actions/checkout@v4
-      - name: Build pages
-        run: |
-          MDBOOK=$(pwd)/mdbook make pages
-      - name: Upload Pages Artifact
-        uses: actions/upload-pages-artifact@v3
-        with:
-          path: "public"
-
-  deploy:
-    needs: build
-
-    # Grant GITHUB_TOKEN the permissions required to make a Pages deployment
-    permissions:
-      pages: write
-      id-token: write
-
-    # Deploy to the github-pages environment
-    environment:
-      name: github-pages
-      url: ${{ steps.deployment.outputs.page_url }}
-
-    runs-on: ubuntu-latest
-    steps:
-      - name: Deploy to GitHub Pages
-        id: deployment
-        uses: actions/deploy-pages@v4
diff --git a/www/BUILD b/www/BUILD
index 24d182d..de837be 100644
--- a/www/BUILD
+++ b/www/BUILD
@@ -1,6 +1,6 @@
-load("@rules_pkg//:pkg.bzl", "pkg_tar")
+load("@rules_pkg//:pkg.bzl", "pkg_zip")
 
-pkg_tar(
+pkg_zip(
     name = "www",
     srcs = [
         "bootstrap.min.css",
@@ -11,5 +11,4 @@ pkg_tar(
         "popper.min.js",
         "//doc",
     ],
-    extension = "tar.gz",
 )