mirror of
https://github.com/audacity/audacity-manual.git
synced 2026-04-12 21:24:36 -05:00
[PR #5] [MERGED] Adds a GitHub workflow to update the manual #18
Reference in New Issue
Block a user
Delete Branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
📋 Pull Request Information
Original PR: https://github.com/audacity/audacity-manual/pull/5
Author: @crsib
Created: 9/30/2021
Status: ✅ Merged
Merged: 9/30/2021
Merged by: @crsib
Base:
master← Head:devel📝 Commits (1)
d70f7cbAdds a GitHub workflow to update the manual📊 Changes
18 files changed (+4833 additions, -0 deletions)
View changed files
➕
.github/workflows/update_manual.yml(+36 -0)📝
.gitignore(+1 -0)➕
scripts/mw2html_audacity/303.css(+2034 -0)➕
scripts/mw2html_audacity/AudacityLogo.png(+0 -0)➕
scripts/mw2html_audacity/audio.png(+0 -0)➕
scripts/mw2html_audacity/bullet.gif(+0 -0)➕
scripts/mw2html_audacity/external.png(+0 -0)➕
scripts/mw2html_audacity/external_rtl.png(+0 -0)➕
scripts/mw2html_audacity/footer.html(+1 -0)➕
scripts/mw2html_audacity/headbg.jpg(+0 -0)➕
scripts/mw2html_audacity/htmldata.py(+1520 -0)➕
scripts/mw2html_audacity/mw2html.py(+1210 -0)➕
scripts/mw2html_audacity/sidebar.html(+10 -0)➕
scripts/mw2html_audacity/user.gif(+0 -0)➕
scripts/mw2html_audacity/video.png(+0 -0)➕
scripts/mw2html_audacity/wiki2htm.bat(+6 -0)➕
scripts/mw2html_audacity/wiki2htm.sh(+10 -0)➕
scripts/mw2html_audacity/wiki2htmtemp.bat(+5 -0)📄 Description
No description provided
🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.