diff options
| author | Peter Zhu <peter@peterzhu.ca> | 2022-07-26 12:31:47 -0400 |
|---|---|---|
| committer | Peter Zhu <peter@peterzhu.ca> | 2022-07-26 12:31:47 -0400 |
| commit | 33f9e8f4ea451d33d789d9345599657347d92e96 (patch) | |
| tree | 8041f6735e2db84e4ccd3f0841fe861c3374c409 /doc | |
| parent | 457170e534bada3efb6e32ac834b198a521df58f (diff) | |
Add doc/rdoc directory to .document
Adding the doc/rdoc directory to .document will allow files in that
directory to be included in the documentation.
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/.document | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/.document b/doc/.document index 03d332367c..5ef2d99651 100644 --- a/doc/.document +++ b/doc/.document @@ -5,3 +5,4 @@ contributing NEWS syntax optparse +rdoc |