Changeset 5a953a in git


Ignore:
Timestamp:
Feb 24, 2009, 1:00:12 PM (15 years ago)
Author:
Hans Schönemann <hannes@…>
Branches:
(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', '648d28f488f6ff08f5607ff229b9ad9e4a5b93c2')
Children:
d9ddf2f5e5b7c611efc8fef41c3ccd4416e72d49
Parents:
e8e2b6921594abbde4a1dccae43bc5f6b73440d1
Message:
*hannes: plral letterplace reorganized


git-svn-id: file:///usr/local/Singular/svn/trunk@11460 2c84dea3-7e68-4137-9b89-c4e89433aadc
Location:
doc
Files:
4 edited

Legend:

Unmodified
Added
Removed
  • doc/Makefile.in

    re8e2b6 r5a953a  
    22###
    33### Makefile for Singular documentation
    4 ### $Id: Makefile.in,v 1.105 2008-10-29 15:43:19 Singular Exp $
     4### $Id: Makefile.in,v 1.106 2009-02-24 12:00:12 Singular Exp $
    55#####################################################################
    66SHELL=/bin/sh
     
    7474TMP_DIR         = @TMP_DIR@
    7575HTML_SUBDIR     = html
    76 PLU_HTML_SUBDIR = pluhtml
    7776TEXI2HTML_INIT  = t2h_singular.init
    7877ifeq ($(VERBOSE),0)
     
    8483                  -short_ext -l2h_tmp ${TMP_DIR} -subdir ${HTML_SUBDIR} \
    8584                  ${T2H_VERBOSE}
    86 PLU_TEXI2HTML_OPTS  = -init_file ${TEXI2HTML_INIT} @TEXI2HTML_OPTS@ \
    87                   -short_ext -l2h_tmp ${TMP_DIR} -subdir ${PLU_HTML_SUBDIR} \
    88                   ${T2H_VERBOSE}
    8985HTML_MANUAL_PREFIX = sing
    90 PLU_HTML_MANUAL_PREFIX = sing
    9186HTML_TUTOR_PREFIX  = tut
    9287HTML_MANUAL_TOP    = index.htm
     
    10499                          INSTALL_win.texi
    105100
    106 PLU_STANDALONE_TEXI_FILES = COPYING.plural.texi INSTALL_unix.plural.texi \
    107                             NEWS.plural.texi README_download.plural.texi \
    108                             INSTALL_win.plural.texi
    109 
    110 PLU_ONLY_FILES          = pluplatform.tex
    111 
    112 PLU_DOC2TEX_FILES       = \
    113                 plural.tex plumath.tex plureference.tex plutypes.tex pluconventions.tex letterplace.tex
    114 
    115101DOC2TEX_FILES   = decodegb.tex \
    116102                examples.tex general.tex ti_ip.tex math.tex reference.tex \
    117103                start.tex types.tex pdata.tex tricks.tex platform.tex \
    118                 ${PLU_DOC2TEX_FILES}
    119 
    120 PLU_MANUAL_FILES = ${PLU_DOC2TEX_FILES} ${PLU_ONLY_FILES}
    121 
    122 MANUAL_FILES    = ${TEX_FILES} ${DOC2TEX_FILES} ${PLU_MANUAL_FILES}
     104                plural.tex letterplace.tex plulibs.tex
     105
     106MANUAL_FILES    = ${TEX_FILES} ${DOC2TEX_FILES}
    123107
    124108TUTOR_FILES     = \
     
    129113IMAGES_SRC := $(IMAGES:%=images/%)
    130114IMAGES_HTML := $(IMAGES:%=${HTML_SUBDIR}/%)
    131 PLU_IMAGES_HTML := $(IMAGES:%=${PLU_HTML_SUBDIR}/%)
    132115
    133116# prepend bindir to path so that programs from there are taken first
     
    146129info: singular.hlp
    147130
    148 singular.hlp: ${MANUAL_FILES} singular.tex s-plural.tex
     131singular.hlp: ${MANUAL_FILES} singular.tex s-plural.tex s-plulibs.tex
    149132        - ${MAKEINFO} --no-split singular.tex
    150 
    151 plural.hlp:  ${PLU_MANUAL_FILES} p-pluralmain.tex
    152         - ${MAKEINFO} --no-split -o plural.hlp p-pluralmain.tex
    153133
    154134# dvi stuff
    155135dvi: manual.dvi usercard.dvi
    156136
    157 s-plural.tex: plural.tex ${PLU_MANUAL_FILES}
    158         for PFILE in ${PLU_MANUAL_FILES};\
    159         do \
    160                 sed 's/@value{PSUFFIX}/(plural)/g' < $${PFILE}  >s-$${PFILE};\
    161         done
    162         sed -e 's/@include plu/@include s-plu/' -e 's/@value{PSUFFIX}/(plural)/g' < plural.tex >s-plural.tex
    163 
    164 p-pluralmain.tex: plural.tex pluralmain.tex ${PLU_MANUAL_FILES}
    165         for PFILE in ${PLU_MANUAL_FILES};\
    166         do \
    167                 sed -e 's/@value{PSUFFIX}//g' -e 's/@include plu/@include p-plu/' < $${PFILE}  >p-$${PFILE};\
    168         done
    169         sed -e 's/@include plu/@include p-plu/' -e 's/@value{PSUFFIX}//g' < pluralmain.tex >p-pluralmain.tex
    170 
    171 singular.dvi: ${MANUAL_FILES} singular.tex s-plural.tex
     137singular.dvi: ${MANUAL_FILES} singular.tex s-plural.tex s-plulibs.tex
    172138        ${TEXI2DVI} singular.tex
    173139
    174 singular.pdf: ${MANUAL_FILES} singular.tex s-plural.tex
     140singular.pdf: ${MANUAL_FILES} singular.tex s-plural.tex s-plulibs.tex
    175141        ${TEXI2PDF} singular.tex
    176142
    177 plural.dvi: ${PLU_MANUAL_FILES} p-pluralmain.tex
    178         ${TEXI2DVI} p-pluralmain.tex; mv p-pluralmain.dvi plural.dvi
    179 
    180 plural.pdf: ${PLU_MANUAL_FILES} p-pluralmain.tex
    181         ${TEXI2PDF} p-pluralmain.tex; mv p-pluralmain.pdf plural.pdf
    182 
    183 manual.dvi: ${MANUAL_FILES} manual.tex s-plural.tex
     143manual.dvi: ${MANUAL_FILES} manual.tex s-plural.tex s-plulibs.tex
    184144        ${TEXI2DVI} manual.tex
    185145
     
    193153        ${TEX} $<
    194154
     155s-plural.tex: plural.tex
     156        sed -e "s/BR_PLURAL_BR/(plural)/g" <plural.tex >s-plural.tex
     157
     158s-plulibs.tex: plulibs.tex
     159        sed -e "s/BR_PLURAL_BR/(plural)/g" <plulibs.tex >s-plulibs.tex
     160
    195161# postscript stuff
    196162ps: dvi manual.ps usercard.ps
     
    208174        ${DOC2TEX} -no_fun -o manual.tex singular.doc
    209175
    210 singular.tex: ${MANUAL_FILES} doc2tex.pl ${LIB_TEX_FILES} ${SINGULAR} ${LIBPARSE} singular.doc $(STANDALONE_TEXI_FILES) ${PLU_MANUAL_FILES}
     176singular.tex: ${MANUAL_FILES} doc2tex.pl ${LIB_TEX_FILES} ${SINGULAR} ${LIBPARSE} singular.doc $(STANDALONE_TEXI_FILES)
    211177        ${DOC2TEX} -o singular.tex singular.doc
    212 
    213 pluralmain.tex: ${PLU_MANUAL_FILES} doc2tex.pl ${PLU_LIB_TEX_FILES} ${SINGULAR} ${LIBPARSE} pluralmain.doc $(PLU_STANDALONE_TEXI_FILES)
    214         ${DOC2TEX} -o pluralmain.tex pluralmain.doc
    215178
    216179#pattern rule for tex files
     
    239202        ${PERL} doc2idx.pl singular.hlp ${HTML_SUBDIR}/${HTML_MANUAL_PREFIX}_cp.idx ${CHKSUM_DB} > singular.idx
    240203
    241 plural.idx: plural.hlp ${PLU_HTML_SUBDIR}/${PLU_HTML_MANUAL_PREFIX}_cp.idx doc2idx.pl
    242         ${PERL} doc2idx.pl plural.hlp ${PLU_HTML_SUBDIR}/${PLU_HTML_MANUAL_PREFIX}_cp.idx ${CHKSUM_DB} > plural.idx
    243 
    244204###########################################################
    245205# stand-alone targest
     
    250210STANDALONE_FILES      := $(STANDALONE_TEXI_FILES:.texi=)
    251211
    252 PLU_STANDALONE_TXT_FILES := $(PLU_STANDALONE_TEXI_FILES:.texi=.txt)
    253 PLU_STANDALONE_HTML_FILES := $(PLU_STANDALONE_TEXI_FILES:.texi=.html)
    254 PLU_STANDALONE_FILES      := $(PLU_STANDALONE_TEXI_FILES:.texi=)
    255 
    256212ifeq ($(SINGUNAME),@SINGUNAME@)
    257213UNAME_OPT = -D UNAME
     
    278234standalone-html: ${STANDALONE_HTML_FILES}
    279235standalone-txt:  ${STANDALONE_TXT_FILES}
    280 
    281 standalone-plural: standalone-txt-plural standalone-html-plural ${PLU_STANDALONE_FILES}
    282 
    283 standalone-html-plural: ${PLU_STANDALONE_HTML_FILES}
    284 standalone-txt-plural:  ${PLU_STANDALONE_TXT_FILES}
    285 
    286236
    287237WWW_DIR = /singular/www/2-0/
     
    309259        -top_file ${HTML_MANUAL_TOP} singular.tex
    310260
    311 plu_html: pluralmain.tex ${PLU_MANUAL_FILES} ${TMP_DIR} ${PLU_HTML_SUBDIR}/${HTML_MANUAL_TOP} ${PLU_IMAGES_HTML} $(PLU_STANDALONE_TEXI_FILES)
    312 ${PLU_HTML_SUBDIR}/${HTML_MANUAL_TOP}: ${TEXI2HTML_INIT} ${TEXI2HTML} plural.tex
    313         ${PERL} ${TEXI2HTML} ${PLU_TEXI2HTML_OPTS} -prefix ${PLU_HTML_MANUAL_PREFIX} \
    314         -top_file ${HTML_MANUAL_TOP} pluralmain.tex
    315 
    316261# html stuff
    317262html_tutor: ${TMP_DIR} ${HTML_SUBDIR}/${HTML_TUTOR_TOP} ${IMAGES_HTML}
     
    322267${HTML_SUBDIR}/${HTML_MANUAL_PREFIX}_cp.idx: ${HTML_SUBDIR}/${HTML_MANUAL_TOP}
    323268
    324 ${PLU_HTML_SUBDIR}/${HTML_MANUAL_PREFIX}_cp.idx: ${PLU_HTML_SUBDIR}/${HTML_MANUAL_TOP}
    325 
    326269${TMP_DIR}:
    327270        ${MKINSTALLDIRS} ${TMP_DIR}
     
    340283        test -d ${HTML_SUBDIR} || mkdir ${HTML_SUBDIR}
    341284        cp ${IMAGES_SRC} ${HTML_SUBDIR}
    342 
    343 ${PLU_IMAGES_HTML} : ${IMAGES_SRC}
    344         test -d ${PLU_HTML_SUBDIR} || mkdir ${PLU_HTML_SUBDIR}
    345         cp ${IMAGES_SRC} ${PLU_HTML_SUBDIR}
    346 
    347 
    348285
    349286###########################################################
     
    354291        ${INSTALL_DATA} singular.hlp ${infodir}
    355292        test -r ${htmldir} || ln -s `pwd`/${HTML_SUBDIR} ${htmldir}
    356         test -r ${exdir} || ln -s `pwd`/${EX_SUBDIR} ${exdir}
    357 
    358 install-plural: plural.hlp pluhtml plural.idx standalone-plural
    359         ${MKINSTALLDIRS} ${infodir}
    360         ${INSTALL_DATA} plural.hlp ${infodir}
    361         test -r ${htmldir} || ln -s `pwd`/${{PLU_HTML_SUBDIR} ${htmldir}
    362293        test -r ${exdir} || ln -s `pwd`/${EX_SUBDIR} ${exdir}
    363294
     
    398329        chmod -R +rX ${install_prefix}/
    399330
    400 install-sharedist-plural: plural.hlp plu_html plural.idx \
    401                    ${PLU_STANDALONE_HTML_FILES} ${PLU_STANDALONE_TXT_FILES}
    402         ${MKINSTALLDIRS} ${install_prefix}
    403         ${MKINSTALLDIRS} ${install_infodir}
    404         ${INSTALL_DATA} plural.hlp ${install_infodir}/singular.hlp
    405         cp plural.hlp singular.hlp
    406         chmod -R +rX ${install_infodir}
    407         ${MKINSTALLDIRS} ${install_htmldir}
    408         cp ${PLU_HTML_SUBDIR}/*.htm ${install_htmldir}
    409         cp ${PLU_HTML_SUBDIR}/*.gif ${install_htmldir}
    410         - cp ${PLU_HTML_SUBDIR}/*.jpg ${install_htmldir}
    411         chmod -R +rX ${install_htmldir}
    412         ${MKINSTALLDIRS} ${install_docdir}
    413         ${INSTALL_DATA} plural.idx ${install_docdir}/singular.idx
    414         ${INSTALL_DATA} ../GPL2 ${install_prefix}/GPL2
    415         ${INSTALL_DATA} ../GPL3 ${install_prefix}/GPL3
    416         ${INSTALL_DATA} COPYING.plural.txt ${install_prefix}/COPYING
    417         ${INSTALL_DATA} COPYING.plural.html ${install_prefix}/COPYING.html
    418         ${INSTALL_DATA} NEWS.plural.txt ${install_prefix}/NEWS
    419         ${INSTALL_DATA} NEWS.plural.html ${install_prefix}/NEWS.html
    420         chmod -R +rX ${install_docdir}
    421         chmod -R +rX ${install_prefix}
    422         if test -f examples; then \
    423                 ${MKINSTALLDIRS} ${install_exdir}; \
    424                 cp -R examples ${install_prefix}; \
    425                 /bin/rm -f ${install_prefix}/examples/[A-Z]*.res; \
    426                 /bin/rm -f ${install_prefix}/examples/*.res; \
    427                 /bin/rm -f ${install_prefix}/examples/[A-Z]*.inc; \
    428                 /bin/rm -f ${install_prefix}/examples/*.inc; \
    429         fi
    430         chmod -R +rX ${install_prefix}/
    431 
    432 
    433331# use 'make INSTALL_unix.olaf.txt INSTALL_unix.olaf.html SINGUNAME=olaf'
    434332# to generate these files for uname 'olaf'
     
    437335        ${INSTALL_DATA} INSTALL_unix.${SINGUNAME}.txt ${install_prefix}/INSTALL
    438336        ${INSTALL_DATA} INSTALL_unix.${SINGUNAME}.html ${install_prefix}/INSTALL.html
    439 
    440 install-bindist-plural:
    441         ${MAKE} install-bindist SINGUNAME=plural
    442337
    443338install-ftp: ${STANDALONE_HTML_FILES} ${STANDALONE_TXT_FILES}
     
    471366        /bin/rm -f *.fn *.fns *.ky *.kys *.log *.pg *.pgs *.toc *.tp
    472367        /bin/rm -f *.tps *.vr *.vrs *.dvi *.ps
    473         /bin/rm -f s-*.tex p-*.tex
     368        /bin/rm -f s-plural.tex
    474369        /bin/rm -f singular.hlp manual.hlp  ${DOC2TEX_FILES} singular.idx
    475         /bin/rm -f plural.hlp manual.hlp  ${PLU_DOC2TEX_FILES}
     370        /bin/rm -f manual.hlp
    476371        /bin/rm -f ${HTML_SUBDIR}/${HTML_MANUAL_TOP} ${HTML_SUBDIR}/${HTML_TUTOR_TOP}
    477         /bin/rm -f ${PLU_HTML_SUBDIR}/${HTML_MANUAL_TOP} ${PLU_HTML_SUBDIR}/${HTML_TUTOR_TOP}
    478372        /bin/rm -rf ${STANDALONE_HTML_FILES} ${STANDALONE_FILES} ${STANDALONE_TXT_FILES}
    479373        /bin/rm -f INSTALL_unix.${SINGUNAME}.txt INSTALL_unix.${SINGUNAME}.html
     
    482376        /bin/rm -f Makefile
    483377        /bin/rm -rf ${HTML_SUBDIR} ../html ../examples
    484         /bin/rm -rf ${PLU_HTML_SUBDIR} ../html ../examples
    485378
    486379maintainer-clean: distclean
Note: See TracChangeset for help on using the changeset viewer.