blob: 94201e273cf75ba6a3e532104d0cf73e224fbc89 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
|
--- Makefile.am.orig 2020-01-25 04:04:36 UTC
+++ Makefile.am
@@ -27,7 +27,8 @@ configheaderdir = ${includedir}/singular
nodist_configheader_HEADERS = singularconfig.h
DISTCLEANFILES = $(nodist_configheader_HEADERS)
-dist_man1_MANS = doc/Singular.man doc/ESingular.man doc/TSingular.man
+# man pages are broken, see https://github.com/Singular/Sources/issues/975
+#dist_man1_MANS = doc/Singular.man doc/ESingular.man doc/TSingular.man
pkgconfigdir = $(libdir)/pkgconfig
pkgconfig_DATA = Singular.pc
|
