Changeset e3663f1 in git for doc/Makefile.in

Timestamp:

Nov 26, 1999, 2:26:58 PM (24 years ago)

Author:

Olaf Bachmann <obachman@…>

Branches:

(u'spielwiese', '17f1d200f27c5bd38f5dfc6e8a0879242279d1d8')

Children:

a89a22ce7744ac91b8406062c921c8beb8c652a0

Parents:

eafea962f93f83bf5e7f3f7080a9b839fb4b3b00

Message:

* Emacs stuff


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

File:

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

doc/Makefile.in

@@ -2 +2 @@
 ### 
 ### Makefile for Singular documentation 
-### $Id: Makefile.in,v 1.41 1999-11-24 18:50:40 obachman Exp $
+### $Id: Makefile.in,v 1.42 1999-11-26 13:26:54 obachman Exp $
 #####################################################################
 SHELL=/bin/sh
@@ -73 +73 @@
 # File sets
 #
-TEX_FILES       = copyright.tex
+STANDALONE_TEXI_FILES   = COPYING.texi
+
 DOC2TEX_FILES   = \
                 examples.tex general.tex math.tex reference.tex \
@@ -163 +164 @@
         ${PERL5} doc2idx.pl singular.hlp ${HTML_SUBDIR}/${HTML_MANUAL_PREFIX}_cp.idx ${CHKSUM_DB} > singular.idx
 
+###########################################################
+# stand-alone targest
+#
+
+STANDALONE_TXT_FILES := $(STANDALONE_TEXI_FILES:.texi=.txt)
+STANDALONE_HTML_FILES := $(STANDALONE_TEXI_FILES:.texi=.html)
+STANDALONE_FILES      := $(STANDALONE_TEXI_FILES:.texi=)
+
 # targets which produce stand-alone documents
-COPYING: copyright.tex
-        ${MAKEINFO} --no-header --paragraph-indent none -o COPYING copyright.tex 
+%.txt :  %.texi
+        ${MAKEINFO} --no-header --paragraph-indent none -o $@ $<
+
+%.html : %.texi
+        ${TEXI2HTML} -init_file t2h_standalone.init -verbose -split none -o $@ $<
+
+% : %.txt
+        cp $< $@
+
+standalone: standalone-txt standalone-html ${STANDALONE_FILES}
+
+standalone-html: ${STANDALONE_HTML_FILES}
+standalone-txt:  ${STANDALONE_TXT_FILES}
+
 
 ###########################################################
@@ -244 +265 @@
         /bin/rm -f singular.hlp manual.hlp  ${DOC2TEX_FILES} singular.idx
         /bin/rm -f ${HTML_SUBDIR}/${HTML_MANUAL_TOP} ${HTML_SUBDIR}/${HTML_TUTOR_TOP}
+        /bin/rm -rf ${STANDALONE_HTML_FILES} ${STANDALONE_FILES} ${STANDALONE_TXT_FILES}
 
 distclean: clean