finalized 1.0.13

[ginac.git] / doc / Makefile.am

diff --git a/doc/Makefile.am b/doc/Makefile.am
index 517169486411b14533618fbd9495c238a4a67d3f..e5de20e3b40cf3ba4fa6f991c29a6f4928ec1378 100644 (file)
--- a/doc/Makefile.am
+++ b/doc/Makefile.am
@@ -1,6 +1,2 @@
 ## Process this file with automake to produce Makefile.in
 SUBDIRS = tutorial reference
-
-# Manual pages
-man_MANS = ginac-config.1
-EXTRA_DIST = $(man_MANS)