Deploy repo for the gated operations manuals (dito + scribe) — built from deepnet/ditdocs
- HTML 99.2%
- CSS 0.7%
- JavaScript 0.1%
| Filename | Latest commit message | Latest commit date |
|---|---|---|
|
|
||
| htdocs | ||
| .gitignore | ||
| ingress.yaml | ||
| manifest.yaml | ||
| provenance.json | ||
| README.md | ||
ditdocs-ops — deploy repo for the gated manuals
This repo holds only what the platform deploys: manifest.yaml,
ingress.yaml, and the generated htdocs/. Do not edit htdocs/ here.
Sources and tooling live in deepnet/ditdocs (src/dito/, src/scribe/,
tools/build-docs.py); its build writes this repo's htdocs/ as the gated
site (dito manual, scribe manual, dito reference, search over both sites).
Regenerate there, then commit + tag + ditc app deploy here.
Auth: gated (DeepNet login via the tenant Authentik). The public companion
is deepnet/ditdocs at ditdocs.apps.deepnet.com.