]> www.ginac.de Git - ginac.git/blobdiff - cint/Makefile.in
- Included manpage in dist.
[ginac.git] / cint / Makefile.in
index d217b3e0cfb9424ef4caeb546c841264fa34086a..18e2f78fc6b8384009fd34544ecef6816b9b992a 100644 (file)
@@ -104,9 +104,10 @@ YACC = @YACC@
 
 bin_PROGRAMS = ginaccint.bin
 bin_SCRIPTS = ginaccint
-# noinst_LTLIBRARIES = ../ginac/libginac.la
 ginaccint_bin_SOURCES = ginaccint.bin.cpp
 man_MANS = ginaccint.1
+
+EXTRA_DIST = $(man_MANS)
 mkinstalldirs = $(SHELL) $(top_srcdir)/mkinstalldirs
 CONFIG_HEADER = ../config.h
 CONFIG_CLEAN_FILES =  ginaccint