2024-03-20 20:36:02 +01:00
|
|
|
#
|
|
|
|
|
# TexInfo Documentation
|
|
|
|
|
#
|
|
|
|
|
MAKEINFO= makeinfo
|
|
|
|
|
TEXI2DVI= texi2dvi
|
|
|
|
|
DVIPS= dvips
|
|
|
|
|
|
|
|
|
|
doc:
|
|
|
|
|
$(MAKEINFO) saturn.texi
|
|
|
|
|
$(TEXI2DVI) saturn.texi && $(DVIPS) -o saturn.ps saturn.dvi
|
|
|
|
|
@echo "*** Install saturn.info manually, please"
|
|
|
|
|
|
|
|
|
|
clean:
|
2024-08-25 11:40:37 +02:00
|
|
|
rm -f saturn.aux saturn.cp saturn.cps saturn.dvi saturn.info saturn.log saturn.ps saturn.toc
|
