diff options
| author | Yuchen Pei <hi@ypei.me> | 2022-07-19 11:17:13 +1000 |
|---|---|---|
| committer | Yuchen Pei <hi@ypei.me> | 2022-07-22 23:59:20 +1000 |
| commit | 89ce5c86451f5510339792f4d50019fc5ac1fe78 (patch) | |
| tree | 61c27897bc2aad4faf622ef5a1d215d23ea32d0e | |
| parent | 8603e59425f2200abb92fe206126c74264aeab05 (diff) | |
typo
| -rw-r--r-- | haddock-api/README.org | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/haddock-api/README.org b/haddock-api/README.org index 298d2306..606a8c5f 100644 --- a/haddock-api/README.org +++ b/haddock-api/README.org @@ -121,7 +121,7 @@ or one big org file containing all packages? Currently haddorg-api takes the latter approach. It produces one org file per package, but cross-package links are generated in a way so that they only work in one big org file from concatenation of separate package org -files. This may become unwieldy, especially when a big org file +files. This may become unwieldy, especially when the big org file contains large libraries like base and ghc. For links to work in the alternative approach, the links have to be aware of org files of other packages. |