annotate etc/.gitignore @ 112445:93fcbcb698b0

Improve configuration of makeinfo. * Makefile.in (MAKEINFO): Now controlled by `configure'. (MAKEINFO_OPTS): New variable. Use it where appropriate. (ENVADD): Updated.
author Werner Lemberg <wl@gnu.org>
date Sun, 23 Jan 2011 11:38:14 +0100
parents ef719132ddfa
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
102380
762408a9ef5d Add .gitignore rules for in-place builds.
Juanma Barranquero <lekktu@gmail.com>
parents:
diff changeset
1 DOC
762408a9ef5d Add .gitignore rules for in-place builds.
Juanma Barranquero <lekktu@gmail.com>
parents:
diff changeset
2 DOC-*
762408a9ef5d Add .gitignore rules for in-place builds.
Juanma Barranquero <lekktu@gmail.com>
parents:
diff changeset
3 icons/