diff make-dist @ 103268:fd266a506f8e

(tex-uptodate-p): Accept [1{/var/foo}] as a page number.
author Stefan Monnier <monnier@iro.umontreal.ca>
date Wed, 20 May 2009 15:14:20 +0000
parents c86e2f4ec9f8
children a4c64847c698
line wrap: on
line diff