manual.org and quick-start.org no longer exist

2017-05-15 17:14:10 +01:00 · 2017-05-15 17:14:10 +01:00 · d0be25cd88
parent d0c273abcb
commit d0be25cd88
1 changed files with 0 additions and 4 deletions
--- a/doc/jbuild
+++ b/doc/jbuild
@ -18,10 +18,6 @@ let jbuild =
    ({|
 (jbuild_version 1)

-(install
- ((section doc)
-  (files (manual.org quick-start.org))))
-
 (rule
 ((targets (jbuilder.1))
  (action  (with-stdout-to ${@}