diff command.h @ 26802:efc87dbf2f03

Simplify help_mp.h generation commands by using $@.
author diego
date Sun, 18 May 2008 23:58:05 +0000
parents 8c92e7e4ccd9
children c1a3f1bbba26
line wrap: on
line diff