• Martin Mareš's avatar
    Connected the `doc' subtree to global makefiles. · b1777248
    Martin Mareš authored
    All documentation is built in obj/doc (resp. doc/ if you do a stand-alone build).
    
    Use `make docs' to make the whole documentation or `make userdocs' resp.
    `make progdocs' for user manual resp. developer's guide.
    b1777248