all: Top.html pppl-unix.dvi pppl-unix.ps pppl-unix

sources=intro.texi unix.texi file.texi access.texi network.texi xwindows.texi code.texi software.texi printing.texi servers.texi index.texi 

lead=pppl-unix.texi

pppl-unix.txi: pppl-unix.texi
	sed -e 's/^@c nothtml *//' -e 's/^.*@c html//' $< > $@

pppl-unix.texinfo: pppl-unix.texi
	sed -e 's/@c .*$$//g' $< > $@

Top.html: pppl-unix.texinfo $(sources)
	texi2www -makeinfo $<

pppl-unix.dvi: pppl-unix.txi $(sources)
	texi2dvi $<

pppl-unix.ps: pppl-unix.dvi
	dvips -Pwww $<

pppl-unix: pppl-unix.txi $(sources)
	makeinfo $<

clean:
	rm -f *.txi *.texinfo *.dvi *.ps *.pdf *.html *-tmp.texi *.log *.gif