BitKeeper/deleted/.del-internals.texi~62b6f580a41c2a43:
  Delete: Docs/internals.texi
Docs/Makefile.am:
   - removed all traces of internals.texi