[Makefile] do overwrite FRAMAC_INTERNAL in Makefile.config if already set

Actually tutorial in devman is not completely internal but uses bin/frama-c

share/Makefile.dynamic_config.external

@@ -20,8 +20,6 @@
 #                                                                        #
 ##########################################################################
 
-export FRAMAC_INTERNAL=no
-
 export FRAMAC_OPT=$(BINDIR)/frama-c$(EXE)
 export FRAMAC_BYTE=$(BINDIR)/frama-c.byte$(EXE)
 

share/Makefile.dynamic_config.internal

@@ -20,7 +20,7 @@
 #                                                                        #
 ##########################################################################
 
-export FRAMAC_INTERNAL=yes
+export FRAMAC_INTERNAL?=yes
 
 export FRAMAC_OPT=$(FRAMAC_ROOT_SRCDIR)/bin/toplevel.opt$(EXE)
 export FRAMAC_BYTE=$(FRAMAC_ROOT_SRCDIR)/bin/toplevel.byte$(EXE)