diff options
| -rw-r--r-- | otherlibs/labltk/Makefile | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/otherlibs/labltk/Makefile b/otherlibs/labltk/Makefile index 630d7f292..358de5b33 100644 --- a/otherlibs/labltk/Makefile +++ b/otherlibs/labltk/Makefile @@ -32,7 +32,9 @@ allopt: byte: all opt: allopt -.PHONY: all allopt byte opt labltk camltk examples_labltk examples_camltk +.PHONY: all allopt byte opt +.PHONY: labltk camltk examples examples_labltk examples_camltk +.PHONY: install installopt partialclean clean depend labltk: Widgets.src compiler/tkcompiler -outdir labltk |