diff options
Diffstat (limited to 'src/graph/Makefile.in')
-rw-r--r-- | src/graph/Makefile.in | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/src/graph/Makefile.in b/src/graph/Makefile.in index ec2f3372..6ffecf3c 100644 --- a/src/graph/Makefile.in +++ b/src/graph/Makefile.in @@ -1,4 +1,4 @@ -# Copyright (C) 2007-2008, Gabriel Dos Reis. +# Copyright (C) 2007-2009, Gabriel Dos Reis. # All rights reserved. # # Redistribution and use in source and binary forms, with or without @@ -49,6 +49,11 @@ stamp: all-subdirs parabola/data parabola/graph0 .PHONY: all-subdirs all-subdirs: all-subdirs.pre all-subdirs.rest + +.PHONY: all-PS +all-PS: all-Gdraws $(srcdir)/PS/*.ps + cp -p $(srcdir)/PS/*.ps $(axiom_target_libdir)/graph/ + .PHONY: all-subdirs.pre all-subdirs.pre: -rm -f stamp @@ -56,7 +61,7 @@ all-subdirs.pre: .PHONY: all-subdirs.rest all-subdirs.rest: all-subdirs.pre all-Gdraws all-viewman \ - all-view2D all-view3D all-viewAlone + all-view2D all-view3D all-viewAlone all-PS all-viewman: all-Gdraws |