diff --git a/src/algebra/Holmakefile b/src/algebra/Holmakefile
index e7e4fcffda..d15c9fd006 100644
--- a/src/algebra/Holmakefile
+++ b/src/algebra/Holmakefile
@@ -1,9 +1 @@
-INCLUDES = ../bag ../integer ../pred_set/src/more_theories base construction
-
-ifdef HOLBUILD
-.PHONY: link-to-sigobj
-all: link-to-sigobj
-
-link-to-sigobj: $(DEFAULT_TARGETS)
-	$(HOL_LNSIGOBJ)
-endif
+INCLUDES = base construction