%% Julio Merino <[EMAIL PROTECTED]> writes: jm> I've noticed that the Info directory entry of gnu make is not jm> lined up properly with other entries in the same section. This jm> makes it ugly. This patch should fix it:
I'm not aware of any standards or documentation on what the "right" indentation is for dir entries. The entry looks fine in _my_ dir file.... is there some GNU standard on these things that I'm unaware of? Because very likely most peoples' dir files use different types of indentation. -- ------------------------------------------------------------------------------- Paul D. Smith <[EMAIL PROTECTED]> Find some GNU make tips at: http://www.gnu.org http://make.paulandlesley.org "Please remain calm...I may be mad, but I am a professional." --Mad Scientist _______________________________________________ Bug-make mailing list [EMAIL PROTECTED] http://mail.gnu.org/mailman/listinfo/bug-make
