Add notice when publishing

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