[Phpmyadmin-git] [phpmyadmin/scripts] 837d97: Drop no longer needed stuff from docs publisher

[Michal Čihař]

  Branch: refs/heads/master
  Home:   https://github.com/phpmyadmin/scripts
  Commit: 837d9768e1227b6cd402582b107aa82118f4d2a4
      https://github.com/phpmyadmin/scripts/commit/837d9768e1227b6cd402582b107aa82118f4d2a4
  Author: Michal Čihař <michal at cihar.com>
  Date:   2012-11-13 (Tue, 13 Nov 2012)

  Changed paths:
    M website/pma-copy-docs

  Log Message:
  -----------
  Drop no longer needed stuff from docs publisher