diff options
Diffstat (limited to 'Build/source/texk/dvipng/Makefile.in')
-rw-r--r-- | Build/source/texk/dvipng/Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/texk/dvipng/Makefile.in b/Build/source/texk/dvipng/Makefile.in index ddac4088b96..d374436a8eb 100644 --- a/Build/source/texk/dvipng/Makefile.in +++ b/Build/source/texk/dvipng/Makefile.in @@ -124,7 +124,7 @@ dvipng.ps: dvipng.dvi dvipng.info: $(TEXIFILES) dvipng.help -$(MAKEINFO) -I$(srcdir) $(srcdir)/dvipng.texi -dvipng.help: dvipng +dvipng.help: misc.c -./dvipng > dvipng.tmp ( test -r dvipng.help && diff dvipng.tmp dvipng.help ) \ || cp dvipng.tmp dvipng.help |