Remove outdated "publish" workflow

The Github Actions workflow "publish.yml" is outdated as it references
the old texlive documentation format and the old, nonexistent Makefile.

It has not run for more than a year.

For those reasons, remove it.