Pipeline does not handle renames

[agrueneberg]

manual-jp.txt was renamed to manual-ja.txt, but the jp version is still available online: https://ankidroid.org/docs/manual-jp.html

[aflah02]

Hey @agrueneberg This issue is quite old also seems to be done since the link doesn't work anymore. Shouldn't it be closed then?

[mikehardy]

I re-worked the entire publishing thing recently but this type of issue (removal of old files) is not handled. To do that we would need to use rsync for the docs publish or do a delete first if we maintain the current copy (not sync) style

https://github.com/ankidroid/ankidroiddocs/blob/f365ceebff4ca5f03a43474063ae8f3f50c37eda/.github/workflows/publish.yml#L45

This is not something that anyone without privileged access can work on though

[aflah02]

Oh alright thanks for the info @mikehardy