diff man/misc.texi @ 81133:1b2ee4e66d28

Add TIMESTAMP to LOC to handle "incremental compilation", e.g., with `omake -P': the compilation process never terminates and automatically recompiles modified files.
author Sam Steingold <sds@gnu.org>
date Sun, 03 Jun 2007 18:56:15 +0000
parents 12161d3863d5
children 5f824c579a60 e6fdae9180d4
line wrap: on
line diff