You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Rather than requiring the user to specify --intermediate-path on the command line (with a default of the empty string), it would be helpful if we read a .cfg file in the current directory (i.e., the directory the user is sitting in when running this tool – i.e., sitting alongside the Makefile that builds the documentation). This .cfg file could specify the default value of intermediate-path for this repository.
We could use this config file for other purposes, too, like directory renames (e.g., master branch builds doc in subdirectory XXX rather than master.)
The text was updated successfully, but these errors were encountered:
Rather than requiring the user to specify
--intermediate-path
on the command line (with a default of the empty string), it would be helpful if we read a .cfg file in the current directory (i.e., the directory the user is sitting in when running this tool – i.e., sitting alongside the Makefile that builds the documentation). This .cfg file could specify the default value ofintermediate-path
for this repository.We could use this config file for other purposes, too, like directory renames (e.g., master branch builds doc in subdirectory XXX rather than master.)
The text was updated successfully, but these errors were encountered: