-.PHONY: html pdf clean
-$(DOCNAME).html: $(SRC)
- @makeinfo -o $@ --no-split --no-headers --html --css-include=style.css $^
-html: $(SRC)
- @cp style.css $@/; \
- makeinfo -o $@ --html --css-ref=style.css $^
+.PHONY: all htmlnosplit pdf clean
+all: htmlnosplit html pdf
+htmlnosplit: $(DOCNAME).html
+$(DOCNAME).html: $(SRC) $(CSS)
+ @makeinfo -o $@ --no-split --no-headers --html --css-include=$(CSS) $(SRC)
+html: $(SRC) $(CSS)
+ @if test ! -s $@; then mkdir $@; fi; \
+ cp $(CSS) $@/$(CSS); \
+ makeinfo -o $@ --html --css-ref=style.css $(SRC)
+pdf: $(DOCNAME).pdf
+$(DOCNAME).pdf: $(DOCNAME).dvi
+ @$(DVI2PDF) $^