[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: doc/Makefile
From: |
Alfred M. Szmidt |
Subject: |
Re: doc/Makefile |
Date: |
Fri, 21 Jan 2005 17:54:57 +0100 |
The following is similar, but for gnumach-doc/Makefile.
--- gnumach-doc/Makefile 6 Oct 2001 22:50:32 -0000 1.1
+++ gnumach-doc/Makefile 21 Jan 2005 16:53:28 -0000
@@ -1,10 +1,17 @@
-all: mach.html mach.ps
+all: mach.html mach.dvi mach.ps clean
%.html: %.texi
texi2html -verbose -split_chapter $<
+ ln -sf $*_toc.html $@
%.dvi: %.texi
- $(TEXI2DVI) $<
+ texi2dvi $<
%.ps: %.dvi
- dvips $< -o $@
+ dvips $<
+
+clean:
+ rm -f mach.aux mach.cp mach.cps mach.fn mach.ky mach.log mach.pg
mach.sc mach.toc mach.tp mach.vr mach.dvi
+
+distclean: clean
+ rm -f mach*.html mach*.ps