diff options
author | Enrico Tassi <Enrico.Tassi@inria.fr> | 2014-12-19 17:32:03 +0100 |
---|---|---|
committer | Enrico Tassi <Enrico.Tassi@inria.fr> | 2014-12-19 17:47:50 +0100 |
commit | b24741df01cd98dc63b6c4d43b11e6e38b44a887 (patch) | |
tree | 3e520074fcd415f83a69db3db91b36fe17084f06 /Makefile.common | |
parent | fb9815baafc008a6e67e542eb8c2adf7a6375fe8 (diff) |
Install .v and .glob files too
PIDE based user interfaces use glob files and source files to
implement hyperlinks
Diffstat (limited to 'Makefile.common')
-rw-r--r-- | Makefile.common | 4 |
1 files changed, 3 insertions, 1 deletions
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) |