1234567891011121314151617181920212223242526272829303132333435363738394041424344 | # repo-render.yaml for `make preview`: renders the repositories in repos.txt
# into .preview/ at the top of the checkout. Paths are relative to this
# file.
host: localhost
git_dir: ../.preview/git
htdocs: ../.preview/htdocs
state_dir: ../.preview/state
site:
title: Repo Renderer preview
tagline: Rendered locally by make preview
footer: >-
Built with <a href="/code/repo-renderer">Repo Renderer</a>.
url: http://localhost:8080 # where make preview serves it
# Which repositories are in which section, and their tags, are in
# repos.txt, which fetch.sh puts in each repository's git config.
sections:
- name: tools
title: Tools
description: >-
Various command-line tools.
- name: tomo
title: Tomo
description: >-
The [Tomo programming language](https://tomo.bruce-hill.com) and related projects.
lexers:
tomo:
globs: ["*.tm"]
aliases: [tomo, tm]
bp:
globs: ["*.bp"]
aliases: [bp]
nomsu:
globs: ["*.nom"]
aliases: [nomsu, nom]
repos:
tomo:
branches: [llm] # main is the default branch
|