You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
We have occasionally deleted a file without adding an entry to book.toml, leaving existing links to that file with a 404 error page.
It shouldn't be too hard to detect, in the GitHub actions, that a file has been deleted, and verify that there is an entry in book.toml for the .html filename that it would have produced.
The text was updated successfully, but these errors were encountered:
We have occasionally deleted a file without adding an entry to
book.toml
, leaving existing links to that file with a 404 error page.It shouldn't be too hard to detect, in the GitHub actions, that a file has been deleted, and verify that there is an entry in
book.toml
for the.html
filename that it would have produced.The text was updated successfully, but these errors were encountered: