diff options
Diffstat (limited to 'src/input')
| -rw-r--r-- | src/input/Makefile.in | 4 | ||||
| -rw-r--r-- | src/input/Makefile.pamphlet | 4 |
2 files changed, 4 insertions, 4 deletions
diff --git a/src/input/Makefile.in b/src/input/Makefile.in index acfdd10a..a845deab 100644 --- a/src/input/Makefile.in +++ b/src/input/Makefile.in @@ -514,13 +514,13 @@ ${OUT}/%.input: %.input .PRECIOUS: %.input %.input: ${IN}/%.input.pamphlet - @$(axiom_build_document) --output=$@ --tangle $< + @$(oa_hammer) --output=$@ --tangle $< ${OUT}/%.as: %.as @cp -p $< $@ %.as: ${IN}/%.as.pamphlet - @ $(axiom_build_document) --output=$@ --tangle $< + @ $(oa_hammer) --output=$@ --tangle $< pamphlets = \ Makefile.pamphlet \ diff --git a/src/input/Makefile.pamphlet b/src/input/Makefile.pamphlet index 5a320d1c..d9747262 100644 --- a/src/input/Makefile.pamphlet +++ b/src/input/Makefile.pamphlet @@ -57,13 +57,13 @@ ${OUT}/%.input: %.input .PRECIOUS: %.input %.input: ${IN}/%.input.pamphlet - @$(axiom_build_document) --output=$@ --tangle $< + @$(oa_hammer) --output=$@ --tangle $< ${OUT}/%.as: %.as @cp -p $< $@ %.as: ${IN}/%.as.pamphlet - @ $(axiom_build_document) --output=$@ --tangle $< + @ $(oa_hammer) --output=$@ --tangle $< pamphlets = \ Makefile.pamphlet \ |