* Added remake_push() and remake_pop() to ReMakePrivate module
* Fixed bug in remake_doc_targets() which would cause multiple
  installations of the generated documents into potentially faulty
  locations
* Safety-fix of other documentation-generating macros to prevent
  similar bugs
* Increased minor version