From b24741df01cd98dc63b6c4d43b11e6e38b44a887 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Fri, 19 Dec 2014 17:32:03 +0100 Subject: Install .v and .glob files too PIDE based user interfaces use glob files and source files to implement hyperlinks --- Makefile.common | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'Makefile.common') diff --git a/Makefile.common b/Makefile.common index 297c04613..fead1dac6 100644 --- a/Makefile.common +++ b/Makefile.common @@ -339,7 +339,9 @@ ALLMODS:=$(call vo_to_mod,$(ALLVO)) LIBFILES:=$(THEORIESVO) $(PLUGINSVO) $(call vo_to_cm,$(THEORIESVO)) \ $(call vo_to_cm,$(PLUGINSVO)) $(call vo_to_obj,$(THEORIESVO)) \ - $(call vo_to_obj,$(PLUGINSVO)) + $(call vo_to_obj,$(PLUGINSVO)) \ + $(PLUGINSVO:.vo=.v) $(THEORIESVO:.vo=.v) \ + $(PLUGINSVO:.vo=.glob) $(THEORIESVO:.vo=.glob) LIBFILESLIGHT:=$(THEORIESLIGHTVO) -- cgit v1.2.3