Searched refs:TEXS (Results 1 - 3 of 3) sorted by relevance

/barrelfish-2018-10-04/tools/fof/
H A DMakefile23 TEXS = $(patsubst %.lhs,%.tex,$(SOURCES)) macro
37 literate: $(TEXS)
/barrelfish-2018-10-04/tools/pleco/
H A DMakefile18 TEXS = $(patsubst %.lhs,%.tex,$(SOURCES)) macro
/barrelfish-2018-10-04/tools/fugu/
H A DMakefile19 TEXS = $(patsubst %.lhs,%.tex,$(SOURCES)) macro

Completed in 34 milliseconds