diff options
Diffstat (limited to 'src/graph/Makefile.in')
| -rw-r--r-- | src/graph/Makefile.in | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/graph/Makefile.in b/src/graph/Makefile.in index 6ffecf3c..4368c446 100644 --- a/src/graph/Makefile.in +++ b/src/graph/Makefile.in @@ -1,4 +1,4 @@ -# Copyright (C) 2007-2009, Gabriel Dos Reis. +# Copyright (C) 2007-2010, Gabriel Dos Reis. # All rights reserved. # # Redistribution and use in source and binary forms, with or without @@ -78,7 +78,7 @@ all-viewAlone: all-Gdraws parabola/data parabola/graph0: $(srcdir)/fileformats.pamphlet - $(axiom_build_document) --tangle=`basename $@` --output=$@ $< + $(oa_hammer) --tangle=`basename $@` --output=$@ $< mostlyclean-local: |