Add notice when publishing

When publishing a manual or a document, it wasn't clear the user that
anything has happened. This PR adds a notice when the page is loaded
again.