-
Notifications
You must be signed in to change notification settings - Fork 1
/
Spexyfile
63 lines (59 loc) · 3.5 KB
/
Spexyfile
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
# Doxyfile 1.11.0
#---------------------------------------------------------------------------
# Project related configuration options
#---------------------------------------------------------------------------
# Spexygen: Commands
#---------------------------------------------------------------------------
ALIASES += \
"uid{2}=@addindex \1^^@subsection \1 \1^^<table><tr><th style=\"text-align:left; width:var(--content-maxwidth)\">\1 : \2^^" \
"uid_litem{1}=<tr><td><b>\1</b><br>^^" \
"uid_bw_trace=<tr><td><b>Backward Traceability</b><br>^^" \
"uid_bw_trace{1}=<tr><td><b>Backward Traceability</b><br>^^" \
"uid_fw_trace=<tr><td><b>Forward Traceability</b><br>^^" \
"uid_fw_trace{1}=<tr><td><b>Forward Traceability</b><br>^^" \
"enduid=</table>" \
"code_uid{2}=@brief \2^^" \
"code_alias{2}=@brief <b>\1</b> : \2^^@anchor \1" \
"code_litem{1}=^^@par \1^^" \
"code_bw_trace=^^@par Backward Traceability^^" \
"code_bw_trace{1}=^^@par Backward Traceability^^" \
"code_fw_trace=^^@par Forward Traceability^^" \
"code_fw_trace{1}=^^@par Forward Traceability^^" \
"endcode_uid=" \
"tr{1}=@ref \1 \"\1\"" \
"precondition{2}=^^@par Precondition `\1:\2`^^" \
"postcondition{2}=^^@par Postcondition `\1:\2`^^" \
"invariant{2}=@par Invariant `\1:\2`^^" \
"nav{2}=<span class=\"prev_button\">@ref \1</span><span class=\"next_button\">@ref \2</span>" \
"nav_prev{1}=<span class=\"prev_button\">@ref \1</span>" \
"nav_next{1}=<span class=\"next_button\">@ref \1</span>" \
"next{1}=<span class=\"next_button\">@ref \1</span>" \
"caption{1}=<div class=\"caption\"><center><em>\1</em></center></div>" \
"webref{2}=<a target=\"_blank\" rel=\"noopener\" href=\"\1\">\2↑</a>"
#---------------------------------------------------------------------------
# Configuration options related to the HTML output
#---------------------------------------------------------------------------
# Spexygen: spexygen-awesome style
#---------------------------------------------------------------------------
HTML_EXTRA_STYLESHEET = $(SPEXYGEN)/spexygen-awesome/doxygen-awesome.css \
$(SPEXYGEN)/spexygen-awesome/doxygen-awesome-sidebar-only.css \
$(SPEXYGEN)/spexygen-awesome/doxygen-awesome-sidebar-only-darkmode-toggle.css \
$(SPEXYGEN)/spexygen-awesome/spexy-awesome.css
HTML_EXTRA_FILES = $(SPEXYGEN)/spexygen-awesome/doxygen-awesome-darkmode-toggle.js \
$(SPEXYGEN)/spexygen-awesome/doxygen-awesome-fragment-copy-button.js \
$(SPEXYGEN)/spexygen-awesome/doxygen-awesome-paragraph-link.js \
$(SPEXYGEN)/spexygen-awesome/image-preview.js
#---------------------------------------------------------------------------
# Spexygen: customized HTML header/footer
# (can be overridden by the including Doxyfile)
#---------------------------------------------------------------------------
HTML_HEADER = $(SPEXYGEN)/spexygen-awesome/spexy-header.html
HTML_FOOTER = $(SPEXYGEN)/spexygen-awesome/spexy-footer.html
#---------------------------------------------------------------------------
# Configuration options related to the LaTeX output
#---------------------------------------------------------------------------
# Spexygen: customized LaTeX header/footer
# (can be overridden by the including Doxyfile)
#---------------------------------------------------------------------------
LATEX_HEADER = $(SPEXYGEN)/spexygen-awesome/spexy-header.tex
LATEX_FOOTER = $(SPEXYGEN)/spexygen-awesome/spexy-footer.tex