rename top-level ptp-tools directory
global pathname updates:
ptp-tools path
ptp-site-defaults path for branding
ptp-config path for local document overrides
publish.sh, publish.bat
global path update: ptp-site-defaults => ptp
Add support for weaving; begin ptp quine.
global path update: ptp-site-defaults => ptp
Reorg and quine changes
Reorg and quine changes
Restore mk_win.bat and mk_bash.sh for (faint hope of) backward compatibility.Reorg and quine changes
Restore mk_win.bat and mk_bash.sh for (faint hope of) backward compatibility.