Give ssh a better chance of working on Windows.
Switch the type of quotes used for the remote command.
Open the pipe in binary mode.
SOURCES=$(wildcard *.[0-9].txt)
MAN=$(SOURCES:%.txt=%)
HTML=$(SOURCES:%.txt=%.html)
all: man html
man: $(MAN)
html: $(HTML)
%: %.xml
xmlto man $*.xml
%.xml: %.txt
asciidoc -d manpage -b docbook $*.txt
%.html: %.txt
asciidoc -b html $*.txt
clean:
$(RM) $(MAN) $(MAN:%=%.xml) $(MAN:%=%.html)