From Ingres Community Wiki

I've uploaded a file and or obsoleted content in the Ingres Wiki and would like to delete it, what process should I follow?

Prior to requesting a page be deleted you need to ensure it is no longer referenced by any other pages. To do that see, here.

Unlinking a page

The 'What links here' toolbox feature (in the Toolbox drop-down) will tell you which other Wiki pages link to the current page. Always use this feature to check before proceeding with deleting. These related pages will need to be edited for their links to reflect the change.

Deletion itself

Normal users cannot delete a Wiki page. If you are confident your wiki page needs to be deleted, please place in the category ToDelete. Any page placed in this category will be removed on a regular basis by the Ingres Wiki Administrators. To place in the ToDelete, edit your wiki doc and add to the page (preferably at the bottom) the following: [[Category:ToDelete]].