Gerald Pfeifer 4623a87843 Use 'make -C' instead of saving the current working directory and then ... restoring that in the new code to add a safety belt that came in via revision 477561. This is quite a bit simpler and shorter. Reported by: adamw PR: 226926		2018-08-20 00:39:32 +00:00
..
scripts	Use 'make -C' instead of saving the current working directory and then	2018-08-20 00:39:32 +00:00
make_index
make_readmes