diff options
author | Karl Berry <karl@freefriends.org> | 2006-12-12 01:01:46 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2006-12-12 01:01:46 +0000 |
commit | 466851088e8f0fb182c0c6701b2af8642f209d12 (patch) | |
tree | 771e325e1abc15329ba2e9fc934c669d33afbc2e /Build/source/texk/dvipng/Makefile.in | |
parent | 96d9b9151e434c0172d715b3bff98092ffcc7629 (diff) |
re-add dvipng.dvi, to avoid rebuild
git-svn-id: svn://tug.org/texlive/trunk@2692 c570f23f-e606-0410-a88d-b1316a301751
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 |