Change rights 644 to 755
[nasm/github.git] / rdoff / doc / Makefile
blobe4f24f5d5e7ede46b9529c94c32f4ea9f7fd9f81
2 # Make info documentation
5 AUXFILES = *.aux *.cp *.fn *.ky *.log *.pg *.toc *.tp *.vr *.dvi
7 SRCS = rdoff.texi
8 OUTS = rdoff.info rdoff.html rdoff.ps rdoff.pdf
11 ## Implicit rules
12 %.html : %.texi
13 makeinfo --html $<
15 %.dvi : %.texi
16 texi2dvi $<
18 %.ps: %.dvi
19 dvips $<
21 %.pdf: %.dvi
22 dvipdf $<
25 ## Explicit rules
26 all: info
28 info: rdoff.info
30 html: rdoff.html
32 ps: rdoff.ps
34 pdf: rdoff.pdf
36 clean:
37 rm -f $(OUTS) $(AUXFILES)