最近想学习php7， 到官网下载文档，只有chm和html格式。下载了single html格式的文档。使用起来不方便，没办法注释和做笔记，想把html转换成pdf格式。
可用的方案有：
1）libreoffice打开，保存输出为pdf格式，， 或者 libreoffice convert-to pdf php.html命令行转换
2）wkhtmltopdf php.html php.pdf
3）任意浏览器，打开html文件， 打印
系统： t61 /ubuntu15.10 64位 / 2GB内存 php-single-html 57MB
方案3，卡死了
方案1， 内存耗尽，libreoffice报错，内存耗尽
方案2，慢腾腾，没信心搞下去了
求助： 哪位网友有大内存机器，麻烦跑一下PHP7的官方文档，把pdf文档(baidu云/weibo网盘)分享一下，谢了！
htm可以用记事本打开直接编辑源码岂不是更方便，加点css给笔记设置个单独的样式就方便区分了，
我觉得内存耗尽的主要原因是因为你是单文件版，就是把所有分页都合并到同一个文件里了，好处是便于存储，传输快省硬盘，坏处就是浏览器打开和转换都会内存与cpu齐飞了，非要搞成pdf的话可以试试转分页版，或者看看浏览器有没有直接打印出pdf的功能或扩展，