Clean up mess

The antora cache has is not involved here. The only thing it sees are sources on the local file system, and to cache those would just be silly and it doesn’t.

The thing is to revert to a clean state. Something like this

First, make sure there are no checked in git sources. First, clear tthe sources dir:

$rm -rf sources/*.

Now, check with git status If it complains that anything is deleted like Deleted: sources/foo, then remove it from the index:

$git rm -rf sources/foo

Now everything in sources is removed from git. Next step is to re-create .gitkeep and check it in:

$ touch sources/.gitkeep

$ git add sources/.gitkeep

$ git commit -am "Re-add sources/.gitkeep"

So, now it’s clean. Verify like this:

$ rm -rf sources # Removes the whole thing from working area

$ git checkout sources

There should now only be a .gitkeep file in the sources dir. If there is anything else:

git rm -r sources/foo

You now have a clean sources directory, same as the builder. Populate it using ./source-state.sh restore and all should be fine.