Index: hsc-1.0/Makefile.in =================================================================== --- hsc-1.0.orig/Makefile.in +++ hsc-1.0/Makefile.in @@ -30,7 +30,7 @@ all: hsc docs hsc: make -C src -docs: +docs: hsc PATH="$(shell pwd)/src/hsc:$(PATH)" HSCEXTRAOPTS="IGNORE=21" make -C docs-source install: