diff options
Diffstat (limited to 'src/Makefile.pamphlet')
| -rw-r--r-- | src/Makefile.pamphlet | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Makefile.pamphlet b/src/Makefile.pamphlet index d3a90eb9..806d8375 100644 --- a/src/Makefile.pamphlet +++ b/src/Makefile.pamphlet @@ -263,7 +263,7 @@ stamp: @axiom_src_all@ all-driver -rm -f stamp $(STAMP) stamp -all-driver: +all-driver: all-lib @cd driver && $(MAKE) $@ <<clefdir>> |