#!/bin/sh

tex galaxy.texinfo
texindex galaxy.cp galaxy.fn galaxy.ky galaxy.pg galaxy.tp galaxy.vr
tex galaxy.texinfo
texindex galaxy.cp galaxy.fn galaxy.ky galaxy.pg galaxy.tp galaxy.vr
tex galaxy.texinfo
# hopefully by now all the references have reached their correct pages