Searched defs:nobase_pkgdata_DATA (Results 1 – 14 of 14) sorted by relevance
4 nobase_pkgdata_DATA = \ macro
42 nobase_pkgdata_DATA = $(HTMLDOC) macro
4 nobase_pkgdata_DATA = $(foreach theme,$(themes), \ macro
34 nobase_pkgdata_DATA = \ macro
38 nobase_pkgdata_DATA = $(SAMPLES) $(MISC) macro
55 nobase_pkgdata_DATA=$(XHTMLDOCFILES) $(HTML4DOCFILES) $(ASCIIDOCFILES) \ macro
131 nobase_pkgdata_DATA = \ macro
53 nobase_pkgdata_DATA = sinks/* macro
126 nobase_pkgdata_DATA = \ macro
56 nobase_pkgdata_DATA = $(baseformats) \ macro
21 nobase_pkgdata_DATA = completions/testclient completions/coqtop\ macro
41 nobase_pkgdata_DATA = \ macro
57 nobase_pkgdata_DATA = help/* icons/* messages/* opening/* colour.pal macro
100 nobase_pkgdata_DATA= \ macro