So I ran into this situation today.
There was a target file "foo.x" and a root-level default do script "
default.x.do" that has instructions about producing '.x' files.
I have a lot of ".x" files and I needed to move one of them to another place. So I moved it but I cannot get rid of it still showing in redo-targets.
redo-targets manual says that targets that were removed along with their do scripts will not be visible. That is great.
However in my case the .do file was a default.do file and I will not be removing it.
Is there a way to get rid of ghost targets in such a situation?