Re: timestamp bug when files are created just before make is run

2020-06-13 Thread Karl Berry
Regarding https://debbugs.gnu.org/cgi/bugreport.cgi?bug=13107 (from December 2012, sorry) ... [From Mikulas] > > config.h.in : am__configure_deps > > echo build config.h.in > > rm -f stamp-h1 > > touch config.h.in [...] > Hmm, adding a "sleep 1"

recipe failed message even if ignored

2016-02-15 Thread Karl Berry
Hi Paul - With the two line Makefile, x: -false running make 4.1 results in Makefile:2: recipe for target 'x' failed make: [x] Error 1 (ignored) When an error is ignored, I think showing the "recipe failed" message is wrong -- it didn't fail. At least, I certainly don't want to see

Re: @dircategory for make

2006-04-24 Thread Karl Berry
Is it "Software development" or "Software Development"? Lowercase d. The Directory is inconsistent in capitalization of section titles, so I arbitrarily decided to use "First word only" style in the Info categories. I hope someday to be able to get the Directory cleaned up in the same way, b

@dircategory for make

2006-04-24 Thread Karl Berry
Hi Paul, In make.texi, could you please change @dircategory GNU Packages to @dircategory Software development ? (The goal is to make Info dir categories be the same as the Free Software Directory categories, where possible.) Thanks, Karl ___ Bug-make

make.texi @dircategory

2003-03-09 Thread Karl Berry
I suggest the following minor changes to make.texi (relative to 3.80) to change the category in the Texinfo dir file -- I've been trying to rationalize these categories per rms's suggestions. Also, the frontmatter should be changed to use @copying, the GNU free documentation license, @ifnottex ins

recursive make considered harmful?

2002-10-27 Thread Karl Berry
Tom Tromey mentioned a paper to me titled "recursive make considered harmful". It is by Peter Miller, circa 1997. http://aegis.sourceforge.net/auug97.pdf It describes a method of constructing project Makefiles (using includes) so there is only one top-level Makefile, and the numerous benefits on