-
Notifications
You must be signed in to change notification settings - Fork 94
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Allow pages outside of packages #94
Comments
@lpw25 In your example what is I wasn't aware of this issue when I was working on #166. HTML fragments are an example of an output without a package, I had to use a dummy package name for that as a workaround. |
This would certainly be useful for generating |
That sounds right, yeah.
IIRC that was indeed the kind of use case I had in mind when I opened this issue. |
This issue has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs. |
We should support something like:
which does the same as:
but places the pages at the root of the tree rather than in a package. This should produce an
<root>/page-foo.odoc
file which in turn become<root>/foo.html
.This should mostly just be a change to the "root" type in odoc making the package name optional, and using the appropriate URL for references to those roots.
The text was updated successfully, but these errors were encountered: