diff --git a/source/Makefile b/source/Makefile index f8ab658a7f98a61c0bb02a7711eca64fcfd23743..59d6f592a1f52bba988732ded4c3319056927dad 100644 --- a/source/Makefile +++ b/source/Makefile @@ -43,6 +43,7 @@ install: package clean $(call say,copying files to $(POLYPKGDIR)) @cp -r . $(POLYPKGDIR) @rm -f $(POLYPKGDIR)/Makefile + @texhash || mktexlsr $(call installed,$(POLYPKGDIR)) clean: