mozilla/rust — pull request #4822 by graydon (2013-02-06 23:03:13+00:00)
Title: auto: doc: improvements to version-stamp makefile logic.

This just improves the version stamp, which was not being regenerated in cached workspaces even when the version changed. Also adds it to the pdf.