Embed solidity code, interfaces in documentation

Makefile

@@ -19,14 +19,25 @@ PREFIX = /usr/local/share/cic/solidity/abi
 .sol.interface:
 	bash to_interface.sh $(basename $@).sol > $@
 
-all: $(OUTPUTS)
+all: outs doc
+       
+outs: $(OUTPUTS) 
 	echo $(OUTPUTS)
 
-install: $(OUTPUTS)
+install-code: $(OUTPUTS)
 	install -vDm0644 -t $(PREFIX) $?
 
+install-doc:
+	bash texify.sh
+
+install: outs install-code install-doc doc
+
 clean:
 	rm -vf solidity/*.json
 	rm -vf solidity/*.interface
 
+doc:
+	bash texify.sh
+	make -C doc/texinfo
+
 .PHONY: clean install