Search Error

Sort by

In Project(s)

Searched refs:HADDOCK_OPTS (Results 1 - 2 of 2) sorted by relevance

/hets/
H A D	Makefile	`555 HADDOCK_OPTS := $(addprefix --optghc=, $(HC_OPTS)) macro 561 -p Hets-Haddock-Prologue.txt $(HADDOCK_OPTS) \`
/hets/debian/
H A D	rules	`555 HADDOCK_OPTS := $(addprefix --optghc=, $(HC_OPTS)) macro 561 -p Hets-Haddock-Prologue.txt $(HADDOCK_OPTS) \`

Completed in 33 milliseconds