Makefile

   1 TEXTARGETS := error_no_end_seq.pdf
   2
   3 CMP := cmp -s
   4 SED := sed
   5
   6 .PHONY: all clean distclean
   7
   8 all:
   9         $(MAKE) -s $(TEXTARGETS) && exit 1 || exit 0
  10
  11 include latex.mk
  12
  13 clean: tex-clean
  14
  15 distclean: tex-distclean