Fixed problem with russian characters.

[splint.git] / src / Makefile.in

diff --git a/src/Makefile.in b/src/Makefile.in
index 534fbe5bab5fd46bb879621c27fd3a31f2499dcb..be75a1a164bc6e547f26dc30f921ce1bf5a74051 100644 (file)
--- a/src/Makefile.in
+++ b/src/Makefile.in
@@ -632,7 +632,7 @@ CCLD = $(CC)
 LINK = $(CCLD) $(AM_CFLAGS) $(CFLAGS) $(AM_LDFLAGS) $(LDFLAGS) -o $@
 CFLAGS = @CFLAGS@
 DIST_SOURCES = $(lcl_SOURCES) $(splint_SOURCES)
-DIST_COMMON = Makefile.am Makefile.in
+DIST_COMMON = Makefile.am Makefile.in TODO
 SOURCES = $(lcl_SOURCES) $(splint_SOURCES)
 
 all: $(BUILT_SOURCES)