# HG changeset patch # User John W. Eaton # Date 1436320806 14400 # Node ID 9e361ecea8788263ff645209e1ec4cab685a862c # Parent 85b2874751960ba18d5ab3feedc47623d396b5c8 use base filenames when processing refcard sources * doc/module.mk ($(refcard_DVI), $(refcard_PDF)): use $(