Author: Ralf Treinen <treinen@debian.org>
Description: add "byte" targets to some Makefiles in demos/

Index: menhir/demos/calc-inspection/Makefile
===================================================================
--- menhir.orig/demos/calc-inspection/Makefile	2019-08-21 20:08:38.379848793 +0200
+++ menhir/demos/calc-inspection/Makefile	2019-08-21 20:11:23.212775122 +0200
@@ -13,9 +13,12 @@
 
 MAIN            := calc
 
-all:
+native:
 	$(OCAMLBUILD) $(MAIN).native
 
+byte:
+	$(OCAMLBUILD) $(MAIN).byte
+
 clean:
 	rm -f *~ .*~
 	$(OCAMLBUILD) -clean
Index: menhir/demos/calc/Makefile
===================================================================
--- menhir.orig/demos/calc/Makefile	2019-08-21 20:08:38.379848793 +0200
+++ menhir/demos/calc/Makefile	2019-08-21 20:08:38.379848793 +0200
@@ -8,9 +8,12 @@
 
 MAIN            := calc
 
-all:
+native:
 	$(OCAMLBUILD) $(MAIN).native
 
+byte:
+	$(OCAMLBUILD) $(MAIN).byte
+
 clean:
 	rm -f *~ .*~
 	$(OCAMLBUILD) -clean
