contains source, doc, and ports.
Based on jgh's diff, but modifies both the static header and the CGI
program that generates the header for dynamic pages.
PR: 169798
Submitted by: jgh
Reviewed by: gjb
- Move files under <lang>/htdocs/share to <lang>/share.
- s/WEB_PREFIX/DOC_PREFIX/
- Update the webupdate script to use the SVN repository.
Approved by: doceng (implicit)
2012-05-17 03:23:15 +00:00
Renamed from share/htdocs/sgml/header.ent (Browse further)
