Home
last modified time | relevance | path

Searched refs:markdown (Results 1 – 2 of 2) sorted by relevance

/seL4-master/manual/
A DMakefile99 markdown: generated-markdown target
108 .PHONY: doxygen generated-headers generated-latex generated-markdown
149 ${Q}${PYTHON} ${GenerationTool} --format markdown --level 2 --input $< --output $@
152 generated-markdown: ${GeneratedMarkdownDir}/GeneralSystemCalls.md \
A DDoxyfile294 # documentation. See http://daringfireball.net/projects/markdown/ for details.
295 # The output of markdown processing is further processed by doxygen, so you can
802 # *.m, *.markdown, *.md, *.mm, *.dox, *.py, *.pyw, *.f90, *.f, *.for, *.tcl,
924 # If the USE_MDFILE_AS_MAINPAGE tag refers to the name of a markdown file that

Completed in 7 milliseconds