Index: trunk/library/Makefile
===================================================================
--- trunk/library/Makefile	(revision 10272)
+++ trunk/library/Makefile	(revision 10273)
@@ -36,6 +36,7 @@
 	$(MAKE) uninstall
 	$(MKDIR) "$(DATADIR)"
 	$(LN) "`pwd`/symbol" "$(DATADIR)/symbol"
+	$(LN) "`pwd`/hlibrary" "$(DATADIR)/hlibrary"
 	$(LN) "`pwd`/devmap" "$(DATADIR)/devmap"
 	$(LN) "`pwd`/spice" "$(DATADIR)/spice"