diff options
-rwxr-xr-x | bootstrap | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -16,6 +16,11 @@ # You should have received a copy of the GNU Affero General Public License # along with this program. If not, see <https://www.gnu.org/licenses/>. +if [ -f .manual-mdate ] +then + touch -t "$(date -d $(cat .manual-mdate) '+%Y%m%d%H%M.%S')" doc/disfluid.texi +fi + autoreconf -vif || exit 1 sed -i 's|SHELL = /bin/sh|SHELL = @SHELL@|g' po/Makefile.in.in || exit 1 |