* dev/doc/specification/{Makefile.in,configure.ac}:
  New.
  (Automagic LaTeX makefile of Christian Rinderknecht.)