.PHONY: all

all: markam.info
markam.info: markam.texi