On 02.02.2017 22:14, Fenyo wrote: Hi,
> I think we should either join the contents of the doc\.gitignore to > \.gitignore (and delete doc\.gitignore) > just like in the case of many other subfolders, > or we should specify this new file in the build.xml to avoid cleaning it. IMHO, we should turn around the clean rule, so it includes what should be removed instead of excluding what shouldnt be touched. (that also hit me when I added the manpage). --mtx ------------------------------------------------------------------------------ Check out the vibrant tech community on one of the world's most engaging tech sites, SlashDot.org! http://sdm.link/slashdot _______________________________________________ Freecol-developers mailing list Freecol-developers@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/freecol-developers
