boostorg/unordered
1
0
Fork 1
mirror of https://github.com/boostorg/unordered.git synced 2025-10-28 22:31:47 +01:00
Code Issues Packages Projects Releases Wiki Activity

added /doc/html/unordered.html redirect (#327)

Browse Source 
* added /doc/html/unordered.html redirect
* added trailing newline
This commit is contained in:
joaquintides
2025-10-20 09:04:57 +02:00
committed by GitHub
parent 9c8da06481
commit e9ca2a2def
1 changed files with 1 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
doc/build_antora.sh
View File

@@ -7,3 +7,4 @@ cd "$SCRIPT_DIR"
npm ci
npx antora unordered-playbook.yml
cp -f html/index.html html/unordered.html