Add references to the books found in Readme.html to the xdoc system
Đang mở
Community
Component: Docs
Difficulty: Easy
Priority: Default
Starter
- Ngôn ngữ chính
- Common Lisp
- Star
- 447
- Fork
- 127
- Merge trung bình
- 22 giờ 44 phút
- Pull request đã merge (30 ngày)
- 18
Mô tả
_From [rage...@gmail.com](https://code.google.com/u/102895947197065323718/) on February 28, 2014 10:11:53_
books/Readme.html is deprecated. It wouldn't be bad to fold the information in that file into the xdoc system.
Note that the best way of doing so would not be to simply make a clone of readme.html in the xdoc markup language. Rather, there should be a topic for each set of books that have meaning as a group. And then each of those topics should have appropriate parents.
_Original issue: http://code.google.com/p/acl2-books/issues/detail?id=157_
Hướng dẫn đóng góp
Chưa lập chỉ mục được hướng dẫn đóng góp cho kho mã nguồn này
Đánh giá
Issue này chưa được đánh giá.