On Wed, Jul 26 2006, David Kastrup wrote:
> Reiner Steib <[EMAIL PROTECTED]> writes:
[...]
>> - -$(TEXHASH)
>> + -$(TEXHASH) $(DESTDIR)$(previewtexmfdir)
[...]
>> Objections?
>
> Seems unlikely to work when DESTDIR is nonempty. Of course, neither
> would $(TEXHASH) all by itself.
So what do you suggest? I'm not sure about the situation with
nonempty DESTDIR, but at least for empty DESTDIR (which seems to be
the most common situation), it's an improvement:
Updating only the $(previewtexmfdir) is fast for me (< 0.2 seconds for
/usr/local), whereas updating all trees takes ~10 seconds.
Bye, Reiner.
--
,,,
(o o)
---ooO-(_)-Ooo--- | PGP key available | http://rsteib.home.pages.de/
_______________________________________________
auctex-devel mailing list
[email protected]
http://lists.gnu.org/mailman/listinfo/auctex-devel
