Follow-up Comment #1, bug #47392 (project make): I don't think the man page is the correct place for this sort of detailed, internal documentation. I'll look into adding it to the manual. My only concern is that by documenting it we'll be standardizing the interface, perhaps in areas we would like to change in the future.
_______________________________________________________ Reply to this item at: <http://savannah.gnu.org/bugs/?47392> _______________________________________________ Message sent via/by Savannah http://savannah.gnu.org/ _______________________________________________ Bug-make mailing list Bug-make@gnu.org https://lists.gnu.org/mailman/listinfo/bug-make