forked from Imagelibrary/seL4
0328754e11
- use a marker file to get a time stamp for when doxygen output was last generated. Use that as a file target instead of a phony target to avoid rebuilds when there is nothing to do. - use static pattern rules so that `make` creates files instead of giving up when the prerequisite of a pattern rule does not exist yet. - remove file list duplication (needed because the static pattern rules also need to mention these files) Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
seL4 Reference Manual
To build a PDF use
make
You will need recent version of LaTeX and doxygen.
The main source file is manual.tex, most of the text is in parts/,
and most of the API reference is generated with doxygen.