+ ${MAKE} install
+ $(INSTALL) $(INSTALLFLAGS) $(shell echo docs/html/*) $(SHAREDOCDIR)/html
+ ln -sf $(pkg)_contents.html $(SHAREDOCDIR)/html/index.html
+ $(INSTALL) $(INSTALLFLAGS) docs/ctsim.pdf $(SHAREDOCDIR)
+ GZIP=-9 gzip $(SHAREDOCDIR)/ctsim.pdf