Skip to content
Closed
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
13 changes: 13 additions & 0 deletions .github/docs-image/Dockerfile
Original file line number Diff line number Diff line change
@@ -0,0 +1,13 @@
FROM ubuntu:24.04

ENV DEBIAN_FRONTEND=noninteractive

# install apt deps
COPY packages.txt .
RUN apt-get update && \
xargs -a packages.txt apt-get install -y && \
rm -rf /var/lib/apt/lists/*

# install pip deps
COPY pip.txt .
RUN pip3 install --break-system-packages -r pip.txt
5 changes: 5 additions & 0 deletions .github/docs-image/packages.txt
Original file line number Diff line number Diff line change
@@ -0,0 +1,5 @@
make
pandoc
python3-pip
texinfo
texlive-plain-generic
1 change: 1 addition & 0 deletions .github/docs-image/pip.txt
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
md-toc
35 changes: 35 additions & 0 deletions .github/workflows/build-docs-image.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,35 @@
name: Build Docs Image

on:
push:
branches: [master]
paths:
- ".github/docs-image/**"

workflow_dispatch:

jobs:
build:
runs-on: ubuntu-latest

permissions:
packages: write
contents: read

steps:
- uses: actions/checkout@v5

- uses: docker/login-action@v3
with:
registry: ghcr.io
username: ${{ github.actor }}
password: ${{ secrets.GITHUB_TOKEN }}

- uses: docker/build-push-action@v5
with:
context: .github/docs-image
push: true
tags: |
ghcr.io/${{ github.repository }}/docs-builder:latest
cache-from: type=gha
cache-to: type=gha,mode=max
17 changes: 3 additions & 14 deletions .github/workflows/docs.yml
Original file line number Diff line number Diff line change
Expand Up @@ -12,23 +12,12 @@ on:
jobs:
build-docs:
runs-on: ubuntu-latest

container:
image: ubuntu:24.04
image: ghcr.io/${{ github.repository }}/docs-builder:latest

steps:
- uses: actions/checkout@v5

- name: Install dependencies
run: |
apt-get update
apt-get install -y \
make \
pandoc \
python3-pip \
texinfo \
texlive-plain-generic
pip3 install md-toc --break-system-packages

- name: Build docs
run: |
make doc-regenerate
run: make doc-regenerate
9 changes: 5 additions & 4 deletions man/hyperbole.texi
Original file line number Diff line number Diff line change
Expand Up @@ -10,6 +10,7 @@
@c Last-Mod: 29-Mar-26 at 23:39:42 by Bob Weiner

@c %**start of header (This is for running Texinfo on a region.)

@setfilename hyperbole.info
@ifnothtml
@settitle GNU Hyperbole Manual
Expand All @@ -30,8 +31,8 @@
@set txicodequoteundirected
@set txicodequotebacktick

@set UPDATED March 29, 2026
@set UPDATED-MONTH March 2026
@set UPDATED April 8, 2026
@set UPDATED-MONTH April 2026
@set EDITION 9.0.2pre
@set VERSION 9.0.2pre

Expand Down Expand Up @@ -171,7 +172,7 @@ MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.</P>

<PRE>
Edition 9.0.2pre
Printed March 29, 2026.
Printed April 8, 2026.

Published by the Free Software Foundation, Inc.
Author: Bob Weiner
Expand Down Expand Up @@ -213,7 +214,7 @@ MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.

@example
Edition 9.0.2pre
March 29, 2026 @c AUTO-REPLACE-ON-SAVE
April 8, 2026 @c AUTO-REPLACE-ON-SAVE


Published by the Free Software Foundation, Inc.
Expand Down
Loading