Use dirhtml as build output on RTD config

This will make URLs on site more friendly.

Signed-off-by: Andrei Jiroh Halili (RecapTime.dev) <ajhalili2006@crew.recaptime.eu.org>

.readthedocs.yaml

@@ -18,6 +18,7 @@ build:
 # Build documentation in the docs/ directory with Sphinx
 sphinx:
    configuration: docs/conf.py
+   builder: "dirhtml"
 
 # If using Sphinx, optionally build your docs in additional formats such as PDF
 # formats:

build-site.sh

+#!/usr/bin/env bash
+
+if ! command -v pipenv >> /dev/null; then
+  echo "please install pipenv first"
+  exit 1
+fi
+
+pipenv run build
+cp build/dirhtml public -rv --update=older