Skip to content

Add make parameters target#6907

Open
gassmoeller wants to merge 2 commits intogeodynamics:mainfrom
gassmoeller:update_parameters_target
Open

Add make parameters target#6907
gassmoeller wants to merge 2 commits intogeodynamics:mainfrom
gassmoeller:update_parameters_target

Conversation

@gassmoeller
Copy link
Member

Since #6881 we check in the CI for updated parameter documentation, but the way to update it is a bit hidden (go to doc/ directory, run update_parameter.sh $HOME/path_to_aspect/aspect, commit result).

This PR introduces a make target that simplifies this, just like make indent indents the code, make parameters updates the parameter documentation.

Don´t merge yet, I would like to add a section to the manual or Contributing.md about this. I just wanted to put this up to link to it from other PRs.

@gassmoeller gassmoeller mentioned this pull request Mar 19, 2026
4 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant