summaryrefslogtreecommitdiff
path: root/debian/krb5-doc.doc-base.user
Commit message (Collapse)AuthorAge
* Update for new documentation setupBen Kaduk2013-04-03
| | | | | | | | | | | | Update the doc-base entries; the number and kind of documents has changed. The files to install have also changed. The Sphinx-generated HTML includes bundled copies of several javascript libraries; replace them with symlinks to the central version. Do not install the generated _sources which seems to only be used by the javascript search functionality (javascript does not usually work when browsing files locally). If they are retained, lintian complains about a duplicate copyright file.
* Remove info-format documentationBenjamin Kaduk2013-04-03
| | | | As a reminder that we'll need to do more.
* Import debian packaging from the old repoBenjamin Kaduk2013-04-03
With a couple omissions, debian/source (unchanged), and debian/patches (not imported). Some cleanup will be needed, but that is left for follow-up commits.