debian specific patch information for pari / 2.3.5-1

 config/get_cc       |    4 +++-
 config/get_dlcflags |   36 +++++++++++++++++++-----------------
 config/get_modld    |   17 +++++++++--------
 3 files changed, 31 insertions(+), 26 deletions(-)

 config/Makefile.SH |    8 ++++++++
 1 file changed, 8 insertions(+)

 config/DOC_Make.SH |    2 +-
 doc/gphelp.in      |    2 +-
 doc/refcard.tex    |    1 +
 3 files changed, 3 insertions(+), 2 deletions(-)