]> www.ginac.de Git - ginac.git/commitdiff
- Included manpage in dist.
authorRichard Kreckel <Richard.Kreckel@uni-mainz.de>
Thu, 18 May 2000 18:23:35 +0000 (18:23 +0000)
committerRichard Kreckel <Richard.Kreckel@uni-mainz.de>
Thu, 18 May 2000 18:23:35 +0000 (18:23 +0000)
cint/Makefile.am
cint/Makefile.in

index 4a1e737a351a57a914d70bd25a583acc07a78ba4..107537f039157a287f88e9d7d648414a6ce44541 100644 (file)
@@ -2,13 +2,14 @@
 
 bin_PROGRAMS = ginaccint.bin
 bin_SCRIPTS = ginaccint
 
 bin_PROGRAMS = ginaccint.bin
 bin_SCRIPTS = ginaccint
-# noinst_LTLIBRARIES = ../ginac/libginac.la
 ginaccint_bin_SOURCES = ginaccint.bin.cpp
 man_MANS = ginaccint.1
 
 ginaccint.bin: ginaccint.bin.cpp
        (export CINTSYSDIR=$(CINTSYSDIR); $(MAKE) -f Makefile.makecint PATH=$(PATH):$(CINTSYSDIR))
 
 ginaccint_bin_SOURCES = ginaccint.bin.cpp
 man_MANS = ginaccint.1
 
 ginaccint.bin: ginaccint.bin.cpp
        (export CINTSYSDIR=$(CINTSYSDIR); $(MAKE) -f Makefile.makecint PATH=$(PATH):$(CINTSYSDIR))
 
+EXTRA_DIST = $(man_MANS)
+
 # Force targets clean and distclean to call Makecint's own Makefile
 makecint_clean:
        (if [ -f Makefile.makecint ]; then $(MAKE) -f Makefile.makecint clean; fi)
 # Force targets clean and distclean to call Makecint's own Makefile
 makecint_clean:
        (if [ -f Makefile.makecint ]; then $(MAKE) -f Makefile.makecint clean; fi)
index d217b3e0cfb9424ef4caeb546c841264fa34086a..18e2f78fc6b8384009fd34544ecef6816b9b992a 100644 (file)
@@ -104,9 +104,10 @@ YACC = @YACC@
 
 bin_PROGRAMS = ginaccint.bin
 bin_SCRIPTS = ginaccint
 
 bin_PROGRAMS = ginaccint.bin
 bin_SCRIPTS = ginaccint
-# noinst_LTLIBRARIES = ../ginac/libginac.la
 ginaccint_bin_SOURCES = ginaccint.bin.cpp
 man_MANS = ginaccint.1
 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
 mkinstalldirs = $(SHELL) $(top_srcdir)/mkinstalldirs
 CONFIG_HEADER = ../config.h
 CONFIG_CLEAN_FILES =  ginaccint