Changeset b76972 in git for doc/Makefile.in


Ignore:
Timestamp:
Dec 20, 2002, 3:11:58 PM (21 years ago)
Author:
Viktor Levandovskyy <levandov@…>
Branches:
(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')
Children:
810141d5280daab26e3549f962caa50bccd3dd79
Parents:
8b9612329c44d1c9a04c173e5832a7b61bb96d44
Message:
plural documentation additions


git-svn-id: file:///usr/local/Singular/svn/trunk@6387 2c84dea3-7e68-4137-9b89-c4e89433aadc
File:
1 edited

Legend:

Unmodified
Added
Removed

  • doc/Makefile.in

    r8b96123 rb76972  
    22###
    33### Makefile for Singular documentation
    4 ### $Id: Makefile.in,v 1.82 2002-12-11 18:11:11 levandov Exp $
     4### $Id: Makefile.in,v 1.83 2002-12-20 14:11:27 levandov Exp $
    55#####################################################################
    66SHELL=/bin/sh
    … …  
    104104
    105105PLU_DOC2TEX_FILES       = \
    106                 plumath.tex plutypes.tex
     106                plumath.tex plureference.tex plutypes.tex
    107107
    108108MANUAL_FILES    = ${TEX_FILES} ${DOC2TEX_FILES}
    … …  
    381381        /bin/rm -f *.tps *.vr *.vrs *.dvi *.ps
    382382        /bin/rm -f singular.hlp manual.hlp  ${DOC2TEX_FILES} singular.idx
    383         /bin/rm -f plural.hlp manual.hlp  ${PLU_DOC2TEX_FILES} singular.idx             /bin/rm -f ${HTML_SUBDIR}/${HTML_MANUAL_TOP} ${HTML_SUBDIR}/${HTML_TUTOR_TOP}
     383        /bin/rm -f plural.hlp manual.hlp  ${PLU_DOC2TEX_FILES}
     384        /bin/rm -f ${HTML_SUBDIR}/${HTML_MANUAL_TOP} ${HTML_SUBDIR}/${HTML_TUTOR_TOP}
    384385        /bin/rm -f ${PLU_HTML_SUBDIR}/${HTML_MANUAL_TOP} ${PLU_HTML_SUBDIR}/${HTML_TUTOR_TOP}
    385386        /bin/rm -rf ${STANDALONE_HTML_FILES} ${STANDALONE_FILES} ${STANDALONE_TXT_FILES}
Note: See TracChangeset for help on using the changeset viewer.