+ * configure.in,
+ * configure: always create doc/Makefile independent from --enable-doc
+ * Makefile.in: always install from directory doc independent from
+ --enable-doc
+ * device/lib/pic/Makefile.in: added libdev again, it was erroneously
+ removed
+ * device/lib/pic/libdev/Makefile.in: fixed VPATH build
+ * doc/Makefile.in: install *.txt if present