Changeset 175c56 in git


Ignore:
Timestamp:
Dec 17, 2004, 6:54:13 PM (20 years ago)
Author:
Hans Schönemann <hannes@…>
Branches:
(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', 'd25190065115c859833252500a64cfb7b11e3a50')
Children:
6fe0f6a88ab2e438b1590f5e383517ed59728be1
Parents:
501f7c553e083fd3e3bfad340f57a827228a7911
Message:
*hannes: added TEXI2DF, singular.pdf


git-svn-id: file:///usr/local/Singular/svn/trunk@7636 2c84dea3-7e68-4137-9b89-c4e89433aadc
Files:
3 edited

Legend:

Unmodified
Added
Removed
  • configure

    r501f7c5 r175c56  
    26142614  BUILD_SUBDIRS="$BUILD_SUBDIRS Texinfo"       
    26152615  TEXI2DVI=${bindir}/texi2dvi
     2616  TEXI2PDF=${bindir}/texi2pdf
    26162617  MAKEINFO="${bindir}/makeinfo"
    26172618  TEXINDEX=${bindir}/texindex
     
    26192620 
    26202621 
     2622 
    26212623  if test "$enable_Texinfo" != yes; then
    26222624    ac_configure_args="$ac_configure_args --enable-Texinfo"
     
    26292631set dummy makeinfo; ac_word=$2
    26302632echo $ac_n "checking for $ac_word""... $ac_c" 1>&6
    2631 echo "configure:2632: checking for $ac_word" >&5
     2633echo "configure:2634: checking for $ac_word" >&5
    26322634if eval "test \"`echo '$''{'ac_cv_prog_MAKEINFO'+set}'`\" = set"; then
    26332635  echo $ac_n "(cached) $ac_c" 1>&6
     
    26592661set dummy texi2dvi; ac_word=$2
    26602662echo $ac_n "checking for $ac_word""... $ac_c" 1>&6
    2661 echo "configure:2662: checking for $ac_word" >&5
     2663echo "configure:2664: checking for $ac_word" >&5
    26622664if eval "test \"`echo '$''{'ac_cv_prog_TEXI2DVI'+set}'`\" = set"; then
    26632665  echo $ac_n "(cached) $ac_c" 1>&6
     
    26892691set dummy texindex; ac_word=$2
    26902692echo $ac_n "checking for $ac_word""... $ac_c" 1>&6
    2691 echo "configure:2692: checking for $ac_word" >&5
     2693echo "configure:2694: checking for $ac_word" >&5
    26922694if eval "test \"`echo '$''{'ac_cv_prog_TEXINDEX'+set}'`\" = set"; then
    26932695  echo $ac_n "(cached) $ac_c" 1>&6
     
    27162718fi
    27172719
     2720  # Extract the first word of "texi2pdf", so it can be a program name with args.
     2721set dummy texi2pdf; ac_word=$2
     2722echo $ac_n "checking for $ac_word""... $ac_c" 1>&6
     2723echo "configure:2724: checking for $ac_word" >&5
     2724if eval "test \"`echo '$''{'ac_cv_prog_TEXI2PDF'+set}'`\" = set"; then
     2725  echo $ac_n "(cached) $ac_c" 1>&6
     2726else
     2727  if test -n "$TEXI2PDF"; then
     2728  ac_cv_prog_TEXI2PDF="$TEXI2PDF" # Let the user override the test.
     2729else
     2730  IFS="${IFS=   }"; ac_save_ifs="$IFS"; IFS=":"
     2731  ac_dummy="$PATH"
     2732  for ac_dir in $ac_dummy; do
     2733    test -z "$ac_dir" && ac_dir=.
     2734    if test -f $ac_dir/$ac_word; then
     2735      ac_cv_prog_TEXI2PDF="texi2pdf"
     2736      break
     2737    fi
     2738  done
     2739  IFS="$ac_save_ifs"
     2740  test -z "$ac_cv_prog_TEXI2PDF" && ac_cv_prog_TEXI2PDF="${pwd}/warn_not_found.sh texi2pdf"
     2741fi
     2742fi
     2743TEXI2PDF="$ac_cv_prog_TEXI2PDF"
     2744if test -n "$TEXI2PDF"; then
     2745  echo "$ac_t""$TEXI2PDF" 1>&6
     2746else
     2747  echo "$ac_t""no" 1>&6
     2748fi
     2749
    27182750fi 
    27192751
    27202752echo $ac_n "checking whether to configure and build Texi2html""... $ac_c" 1>&6
    2721 echo "configure:2722: checking whether to configure and build Texi2html" >&5
     2753echo "configure:2754: checking whether to configure and build Texi2html" >&5
    27222754if test "$enable_Texi2html" != no && test -d Texi2html; then
    27232755 echo "$ac_t""yes" 1>&6
     
    27342766set dummy texi2html; ac_word=$2
    27352767echo $ac_n "checking for $ac_word""... $ac_c" 1>&6
    2736 echo "configure:2737: checking for $ac_word" >&5
     2768echo "configure:2769: checking for $ac_word" >&5
    27372769if eval "test \"`echo '$''{'ac_cv_prog_TEXI2HTML'+set}'`\" = set"; then
    27382770  echo $ac_n "(cached) $ac_c" 1>&6
     
    27722804
    27732805echo $ac_n "checking whether to build doc""... $ac_c" 1>&6
    2774 echo "configure:2775: checking whether to build doc" >&5
     2806echo "configure:2807: checking whether to build doc" >&5
    27752807if test "$enable_doc" != no && test -d doc; then
    27762808 echo "$ac_t""yes" 1>&6
     
    27862818
    27872819echo $ac_n "checking whether to build emacs""... $ac_c" 1>&6
    2788 echo "configure:2789: checking whether to build emacs" >&5
     2820echo "configure:2821: checking whether to build emacs" >&5
    27892821if test "$enable_doc" = yes && test "$enable_emacs" != no && test -d emacs; then
    27902822 echo "$ac_t""yes" 1>&6
     
    27982830
    27992831echo $ac_n "checking which apint package to use""... $ac_c" 1>&6
    2800 echo "configure:2801: checking which apint package to use" >&5
     2832echo "configure:2833: checking which apint package to use" >&5
    28012833if test "$with_apint" = gmp; then
    28022834  if test "$ac_gmp_ok" = yes || test "$enable_gmp" = yes; then
     
    28222854
    28232855echo $ac_n "checking whether to use with MP""... $ac_c" 1>&6
    2824 echo "configure:2825: checking whether to use with MP" >&5
     2856echo "configure:2857: checking whether to use with MP" >&5
    28252857if test "$with_MP" = yes; then
    28262858  if test "$ac_MP_ok" = yes || test "$enable_MP" = yes; then
     
    28412873
    28422874echo $ac_n "checking whether to use with factory""... $ac_c" 1>&6
    2843 echo "configure:2844: checking whether to use with factory" >&5
     2875echo "configure:2876: checking whether to use with factory" >&5
    28442876if test "$with_factory" = yes; then
    28452877  if test "$ac_factory_ok" = yes || test "$enable_factory" = yes; then
     
    28602892 
    28612893echo $ac_n "checking whether to use with libfac""... $ac_c" 1>&6
    2862 echo "configure:2863: checking whether to use with libfac" >&5
     2894echo "configure:2895: checking whether to use with libfac" >&5
    28632895if test "$with_libfac" = yes; then
    28642896  if test "$ac_libfac_ok" = yes || test "$enable_libfac" = yes; then
     
    28812913
    28822914echo $ac_n "checking whether to use with Singular""... $ac_c" 1>&6
    2883 echo "configure:2884: checking whether to use with Singular" >&5
     2915echo "configure:2916: checking whether to use with Singular" >&5
    28842916if test "$with_Singular" != no && test "$with_Singular" != yes; then
    28852917  if test "$enable_Singular" = yes; then
     
    29432975 
    29442976echo $ac_n "checking whether ${MAKE-make} sets \${MAKE}""... $ac_c" 1>&6
    2945 echo "configure:2946: checking whether ${MAKE-make} sets \${MAKE}" >&5
     2977echo "configure:2978: checking whether ${MAKE-make} sets \${MAKE}" >&5
    29462978set dummy ${MAKE-make}; ac_make=`echo "$2" | sed 'y%./+-%__p_%'`
    29472979if eval "test \"`echo '$''{'ac_cv_prog_make_${ac_make}_set'+set}'`\" = set"; then
     
    31443176s%@TMP_DIR@%$TMP_DIR%g
    31453177s%@TEXI2DVI@%$TEXI2DVI%g
     3178s%@TEXI2PDF@%$TEXI2PDF%g
    31463179s%@MAKEINFO@%$MAKEINFO%g
    31473180s%@TEXINDEX@%$TEXINDEX%g
  • configure.in

    r501f7c5 r175c56  
    648648  BUILD_SUBDIRS="$BUILD_SUBDIRS Texinfo"       
    649649  TEXI2DVI=${bindir}/texi2dvi
     650  TEXI2PDF=${bindir}/texi2pdf
    650651  MAKEINFO="${bindir}/makeinfo"
    651652  TEXINDEX=${bindir}/texindex
    652653  AC_SUBST(TEXI2DVI)
     654  AC_SUBST(TEXI2PDF)
    653655  AC_SUBST(MAKEINFO)
    654656  AC_SUBST(TEXINDEX)
     
    663665  AC_CHECK_PROG(TEXI2DVI, texi2dvi, texi2dvi, ${pwd}/warn_not_found.sh texi2dvi)
    664666  AC_CHECK_PROG(TEXINDEX, texindex, texindex, ${pwd}/warn_not_found.sh texindex)
     667  AC_CHECK_PROG(TEXI2PDF, texi2pdf, texi2pdf, ${pwd}/warn_not_found.sh texi2pdf)
    665668fi 
    666669
  • doc/Makefile.in

    r501f7c5 r175c56  
    22###
    33### Makefile for Singular documentation
    4 ### $Id: Makefile.in,v 1.94 2004-04-23 15:10:19 Singular Exp $
     4### $Id: Makefile.in,v 1.95 2004-12-17 17:53:53 Singular Exp $
    55#####################################################################
    66SHELL=/bin/sh
     
    4747MAKEINFO        = @MAKEINFO@ --force
    4848TEXI2DVI        = @TEXI2DVI@
     49TEXI2PDF        = @TEXI2PDF@
    4950TEXINDEX        = @TEXINDEX@
    5051# use our local texi2html
     
    164165        ${TEXI2DVI} singular.tex
    165166
     167singular.pdf: ${MANUAL_FILES} singular.tex s-plural.tex
     168        ${TEXI2PDF} singular.tex
     169
     170plural.dvi: ${PLU_MANUAL_FILES} p-pluralmain.tex
    166171plural.dvi: ${PLU_MANUAL_FILES} p-pluralmain.tex
    167172        ${TEXI2DVI} p-pluralmain.tex; mv p-pluralmain.dvi plural.dvi
Note: See TracChangeset for help on using the changeset viewer.