File tree Expand file tree Collapse file tree 1 file changed +18
-7
lines changed Expand file tree Collapse file tree 1 file changed +18
-7
lines changed Original file line number Diff line number Diff line change @@ -25,15 +25,26 @@ jobs:
25
25
26
26
- name : Build documentation
27
27
run : |
28
- wget https://github.com/adamdruppe/adrdox/archive/master.zip
29
- unzip master.zip
30
- pushd adrdox-master && make && popd
31
- export PATH=$PATH:$PWD/adrdox-master
32
- doc2 --genSearchIndex --genSource -o generated-docs source
28
+ # wget https://github.com/adamdruppe/adrdox/archive/master.zip
29
+ # unzip master.zip
30
+ # pushd adrdox-master && make && popd
31
+ # export PATH=$PATH:$PWD/adrdox-master
32
+ # doc2 --genSearchIndex --genSource -o generated-docs source
33
+
34
+ # no way to get dub to include a custom macro file, but we can
35
+ # run ddox directly instead with the same command line, including
36
+ # our custom macro file
37
+
38
+ # build original docs, this gets the json file properly set up
39
+ dub -b ddox
40
+ # remove docs generated without macro file
41
+ rm -rf docs
42
+ # regenerate the docs with the macros included
43
+ dub run ddox -- generate-html --navigation-type=ModuleTree --std-macros=ddoc/macros.ddoc docs.json docs
33
44
34
45
- name : Deploy to Github Pages
35
46
36
47
with :
37
- GITHUB_TOKEN : ${{ secrets.GITHUB_TOKEN }}
48
+ # GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
38
49
BRANCH : gh-pages
39
- FOLDER : generated- docs
50
+ FOLDER : docs
You can’t perform that action at this time.
0 commit comments