[singular] branch master updated (1976712 -> e842c76)

[felix salfelder]

This is an automated email from the git hooks/post-receive script.

felix-guest pushed a change to branch master
in repository singular.

      from  1976712   revert more non-debian changes in debian branch
       new  339d9a1   Revert "revert more non-debian changes in debian branch"
       new  6bf72e4   tag gfan using examples
       new  bd1bc12   use $DESTDIR as a pre-prefix, in install* targets
       new  3fb0860   add working 'all' target to Makefile.in
       new  d214a72   miscellaneous Makefile.in patches
       new  0fd6fa9   assert needs to be defined after #include "assert.h", also if -Ifactory is used.
       new  d4af17e   keep mod2.h in Singular/
       new  846b231   move libreadline to main binary
       new  9498be9   default path settings
       new  e941222   disable examples for divisors and gitfan
       new  38b6d0f   fix warning treated as error in pyobject.cc
       new  9a818c9   also install sing_dbm.h
       new  96d569a   don't forget LDFLAGS in module compilation
       new  0d08625   fix mmInit weirdness.
       new  481d218   sanitize cf_gmp.h generation
       new  9979b15   use /bin/sed, not sed, in build system
       new  f399e83   Use full path for a few coreutils
       new  fbb53c6   make interactive docbuild work.
       new  e842c76   merge patched into master

The 19 revisions listed above as "new" are entirely new to this
repository and will be described in separate emails.  The revisions
listed as "adds" were already present in the repository and have only
been added to this reference.


Summary of changes:
 debian/.git-dpm                                    |  4 +-
 debian/patches/0001-tag-gfan-using-examples.patch  |  4 +-
 ...ESTDIR-as-a-pre-prefix-in-install-targets.patch | 57 ++++++++++++++++-----
 ...03-add-working-all-target-to-Makefile.in.patch} |  4 +-
 debian/patches/0003-destdir-fixes-sq.patch         | 58 ----------------------
 ...> 0004-miscellaneous-Makefile.in-patches.patch} |  4 +-
 ...eds-to-be-defined-after-include-assert.h.patch} |  3 +-
 ...ar.patch => 0006-keep-mod2.h-in-Singular.patch} |  4 +-
 ... => 0007-move-libreadline-to-main-binary.patch} |  4 +-
 ...ings.patch => 0008-default-path-settings.patch} |  4 +-
 ...disable-examples-for-divisors-and-gitfan.patch} |  4 +-
 ...-warning-treated-as-error-in-pyobject.cc.patch} |  3 +-
 ....h.patch => 0011-also-install-sing_dbm.h.patch} |  3 +-
 ...n-t-forget-LDFLAGS-in-module-compilation.patch} |  3 +-
 ...dness.patch => 0013-fix-mmInit-weirdness.patch} |  3 +-
 ...tch => 0014-sanitize-cf_gmp.h-generation.patch} |  4 +-
 ...0015-use-bin-sed-not-sed-in-build-system.patch} | 46 +++++++++++------
 ...> 0016-Use-full-path-for-a-few-coreutils.patch} | 52 ++++++++++++-------
 .../0017-make-interactive-docbuild-work.patch      | 30 +++++++++++
 .../0018-non-interactive-docbuild-fix.patch        | 17 -------
 debian/patches/series                              | 31 ++++++------
 doc/Makefile.in                                    |  6 +--
 22 files changed, 195 insertions(+), 153 deletions(-)
 rename debian/patches/{0004-add-working-all-target-to-Makefile.in.patch => 0003-add-working-all-target-to-Makefile.in.patch} (94%)
 delete mode 100644 debian/patches/0003-destdir-fixes-sq.patch
 rename debian/patches/{0005-miscellaneous-Makefile.in-patches.patch => 0004-miscellaneous-Makefile.in-patches.patch} (99%)
 rename debian/patches/{0006-assert-needs-to-be-defined-after-include-assert.h.patch => 0005-assert-needs-to-be-defined-after-include-assert.h.patch} (88%)
 rename debian/patches/{0007-keep-mod2.h-in-Singular.patch => 0006-keep-mod2.h-in-Singular.patch} (99%)
 rename debian/patches/{0008-move-libreadline-to-main-binary.patch => 0007-move-libreadline-to-main-binary.patch} (98%)
 rename debian/patches/{0009-default-path-settings.patch => 0008-default-path-settings.patch} (97%)
 rename debian/patches/{0010-disable-examples-for-divisors-and-gitfan.patch => 0009-disable-examples-for-divisors-and-gitfan.patch} (92%)
 rename debian/patches/{0011-fix-warning-treated-as-error-in-pyobject.cc.patch => 0010-fix-warning-treated-as-error-in-pyobject.cc.patch} (88%)
 rename debian/patches/{0012-also-install-sing_dbm.h.patch => 0011-also-install-sing_dbm.h.patch} (91%)
 rename debian/patches/{0013-don-t-forget-LDFLAGS-in-module-compilation.patch => 0012-don-t-forget-LDFLAGS-in-module-compilation.patch} (90%)
 rename debian/patches/{0014-fix-mmInit-weirdness.patch => 0013-fix-mmInit-weirdness.patch} (96%)
 rename debian/patches/{0015-sanitize-cf_gmp.h-generation.patch => 0014-sanitize-cf_gmp.h-generation.patch} (94%)
 rename debian/patches/{0016-use-bin-sed-everywhere.patch => 0015-use-bin-sed-not-sed-in-build-system.patch} (69%)
 rename debian/patches/{0017-use-full-paths-for-coretools.patch => 0016-Use-full-path-for-a-few-coreutils.patch} (86%)
 create mode 100644 debian/patches/0017-make-interactive-docbuild-work.patch
 delete mode 100644 debian/patches/0018-non-interactive-docbuild-fix.patch

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/singular.git