Hash :
0e8fd2c0
Author :
Date :
2023-09-11T19:31:53
gnu-web-doc-update: fix updating of manual directory * build-aux/gnu-web-doc-update: Correctly change to the 'manual' directory, since $tmp is a relative path. This avoids removing files outside of the 'manual' directory. Broken since commit e979787d.
Please create and read the docs with $ cd doc $ make gnulib.html $ xdg-open gnulib.html or read the online manual at https://www.gnu.org/software/gnulib/manual/gnulib.html