- man page is now put in distribution

[ginac.git] / tools / Makefile.in

diff --git a/tools/Makefile.in b/tools/Makefile.in
index 901c1860871b903d8aab620efa7a4b291ab2bfeb..80ccb43b5417317fa8bc63942800f2ac16b1c7af 100644 (file)
--- a/tools/Makefile.in
+++ b/tools/Makefile.in
@@ -63,6 +63,7 @@ ARCHIVE_AGE = @ARCHIVE_AGE@
 ARCHIVE_VERSION = @ARCHIVE_VERSION@
 AS = @AS@
 CC = @CC@
+CINT = @CINT@
 CXX = @CXX@
 CXXCPP = @CXXCPP@
 DLLTOOL = @DLLTOOL@
@@ -88,6 +89,7 @@ LT_CURRENT = @LT_CURRENT@
 LT_RELEASE = @LT_RELEASE@
 LT_REVISION = @LT_REVISION@
 MAINT = @MAINT@
+MAKECINT = @MAKECINT@
 MAKEINDEX = @MAKEINDEX@
 MAKEINFO = @MAKEINFO@
 NM = @NM@
@@ -103,6 +105,7 @@ bin_PROGRAMS = viewgar
 viewgar_SOURCES = viewgar.cpp
 viewgar_LDADD = ../ginac/libginac.la
 man_MANS = viewgar.1
+EXTRA_DIST = $(man_MANS)
 mkinstalldirs = $(SHELL) $(top_srcdir)/mkinstalldirs
 CONFIG_HEADER = ../config.h
 CONFIG_CLEAN_FILES =