Use CMake's built-in timestamp formatting.

It notably honors SOURCE_DATE_EPOCH if set, making for reproducible
output.  For even better reproducibility, use UTC.  (Unlike the date
command's output, the result is already always in English.)  Extend
this approach to the book, introducing appropriately formatted
PDF_DATE and TODAY variables for its PDF metadata and title page
respectively and making make_pdf configurable.

1 files changed, 0 insertions, 41 deletions

diff --git a/documentation/make_pdf b/documentation/make_pdf
deleted file mode 100755
index a5487bae4..000000000
--- a/documentation/make_pdf
+++ /dev/null
@@ -1,41 +0,0 @@
-#! /bin/sh
-#
-# Makefile helper script for the Fast Light Tool Kit (FLTK) documentation.
-#
-# Copyright 1998-2020 by Bill Spitzak and others.
-#
-# This library is free software. Distribution and use rights are outlined in
-# the file "COPYING" which should have been included with this file.  If this
-# file is missing or damaged, see the license at:
-#
-#     https://www.fltk.org/COPYING.php
-#
-# Please see the following page on how to report bugs and issues:
-#
-#      https://www.fltk.org/bugs.php
-#
-
-# This script generates latex/refman.pdf after doxygen has been executed.
-#
-# Input:  run `doxygen Doxybook' (creates files in subdirectory latex)
-# Output: latex/refman.pdf (if successful)
-#
-# Next step: cp -f latex/refman.pdf fltk.pdf (why is this extra step needed ?)
-#
-# Working directory: fltk/documentation
-#
-# Used in: Makefile and CMakeLists.txt
-
-( cd latex
-  pdflatex --interaction=nonstopmode refman.tex
-  makeindex refman.idx
-  pdflatex --interaction=nonstopmode refman.tex
-  latex_count=5
-  while egrep -s 'Rerun (LaTeX|to get cross-references right)' refman.log \
-	  && [ $latex_count -gt 0 ]
-    do
-      echo "Rerunning pdflatex ..."
-      pdflatex --interaction=nonstopmode refman.tex
-      latex_count=`expr $latex_count - 1`
-    done
-  cd ..) > pdfall.log 2>&1