Changeset aa91e74 in git

Timestamp:

Feb 6, 2003, 8:54:38 PM (21 years ago)

Author:

Viktor Levandovskyy <levandov@…>

Branches:

(u'spielwiese', '8e0ad00ce244dfd0756200662572aef8402f13d5')

Children:

50ba1cfb1855cd68868ce7e41b271a89b6a66903

Parents:

ff2cce3019b9208811ce808dc550eb8b5beb4364

Message:

adjustments


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

File:

• doc/Makefile.in (modified) (2 diffs)

doc/Makefile.in

@@ -2 +2 @@
 ###
 ### Makefile for Singular documentation
-### $Id: Makefile.in,v 1.84 2003-02-06 19:33:15 levandov Exp $
+### $Id: Makefile.in,v 1.85 2003-02-06 19:54:38 levandov Exp $
 #####################################################################
 SHELL=/bin/sh
@@ -261 +261 @@
         -top_file ${HTML_MANUAL_TOP} singular.tex
 
-plu_html: ${PLU_MANUAL_FILES} ${TMP_DIR} ${PLU_HTML_SUBDIR}/${HTML_MANUAL_TOP} ${PLU_IMAGES_HTML} 
+plu_html: pluralmain.tex ${PLU_MANUAL_FILES} ${TMP_DIR} ${PLU_HTML_SUBDIR}/${HTML_MANUAL_TOP} ${PLU_IMAGES_HTML} 
 ${PLU_HTML_SUBDIR}/${HTML_MANUAL_TOP}: ${TEXI2HTML_INIT} ${TEXI2HTML} plural.tex
         ${PERL} ${TEXI2HTML} ${PLU_TEXI2HTML_OPTS} -prefix ${PLU_HTML_MANUAL_PREFIX} \