Path for 'make install-doc-code' for external plug-in

ID0001278: This issue was created automatically from Mantis Issue 1278. Further discussion may take place here.

---

Id	Project	Category	View	Due Date	Updated
ID0001278	Frama-C	Kernel > Makefile	public	2012-09-26	2016-06-21

Reporter	Anne	Assigned To	bobot	Resolution	open
Priority	normal	Severity	tweak	Reproducibility	have not tried
Platform	-	OS	-	OS Version	-
Product Version	Frama-C Oxygen-20120901	Target Version	-	Fixed in Version	-

Description :

When I do make install-doc-code for my XXX plug-in, it installs the documentation in /usr/local/share/frama-c/doc/XXX instead of /usr/local/share/frama-c/doc/code/XXX like the other plug-ins. So the links to Frama-C documentation are broken.