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:
2525
2626 - name : Build documentation
2727 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
3344
3445 - name : Deploy to Github Pages
3546 uses : JamesIves/github-pages-deploy-action@3.7.1
3647 with :
37- GITHUB_TOKEN : ${{ secrets.GITHUB_TOKEN }}
48+ # GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
3849 BRANCH : gh-pages
39- FOLDER : generated- docs
50+ FOLDER : docs
You can’t perform that action at this time.
0 commit comments