diff options
| author | Jack Lloyd <[email protected]> | 2017-11-29 16:58:02 -0500 |
|---|---|---|
| committer | Jack Lloyd <[email protected]> | 2017-11-29 16:58:02 -0500 |
| commit | f3d9988ec6e0f5be0ae7f5881e7101d2eb275074 (patch) | |
| tree | cee2fb62412a01c404c9dbb2982a7753a59819f0 /doc/manual/credentials_manager.rst | |
| parent | 9dd419140c06724fa9347e916fcc9d864f2fcf58 (diff) | |
Add the build commands back to the main makefiles
The header is processed early, but when doing an amalgamation we
need to regenerate the makefile template. But we only do that
for the main makefile not the include inputs.
Should fix this but for now just just get it to work.
Diffstat (limited to 'doc/manual/credentials_manager.rst')
0 files changed, 0 insertions, 0 deletions