diff options
author | wiz <wiz> | 2006-08-12 21:30:06 +0000 |
---|---|---|
committer | wiz <wiz> | 2006-08-12 21:30:06 +0000 |
commit | 247a8007de49914781ac2e38d6a85cb658babacb (patch) | |
tree | d5631b12281a166ffe72abb61c42cb9c08212e51 /doc/pkgsrc.txt | |
parent | b49af0f6016d5b544f10f535aee24af9caaad3b0 (diff) | |
download | pkgsrc-247a8007de49914781ac2e38d6a85cb658babacb.tar.gz |
regen
Diffstat (limited to 'doc/pkgsrc.txt')
-rw-r--r-- | doc/pkgsrc.txt | 11 |
1 files changed, 8 insertions, 3 deletions
diff --git a/doc/pkgsrc.txt b/doc/pkgsrc.txt index 31e655a105f..507b5e7e5eb 100644 --- a/doc/pkgsrc.txt +++ b/doc/pkgsrc.txt @@ -6162,14 +6162,19 @@ In general, documentation should be installed into ${PREFIX}/share/doc/$ number of the package). Many modern packages using GNU autoconf allow to set the directory where HTML -documentation is installed with the "--with-html-dir" option. +documentation is installed with the "--with-html-dir" option. Sometimes using +this flag is needed because otherwise the documentation ends up in ${PREFIX}/ +share/doc/html or other places. An exception to the above is that library API documentation generated with the textproc/gtk-doc tools, for use by special browsers (devhelp) should be left at their default location, which is ${PREFIX}/share/gtk-doc. Such documentation can be recognized from files ending in .devhelp or .devhelp2. (It is also -acceptable to install such files in ${PREFIX}/share/doc; no additional -subdirectory level is allowed in this case.) +acceptable to install such files in ${PREFIX}/share/doc/${PKGBASE} or ${PREFIX} +/share/doc/${PKGNAME}; the .devhelp* file must be directly in that directory +then, no additional subdirectory level is allowed in this case. This is usually +achieved by using "--with-html-dir=${PREFIX}/share/doc". ${PREFIX}/share/ +gtk-doc is preferred though.) 17.5.3. Installing score files |