%%
%% This is file `zeckendorf-doc.tex',
%% generated with the docstrip utility.
%%
%% The original source files were:
%%
%% zeckendorf.dtx  (with options: `drv')
%% 
%% IMPORTANT NOTICE:
%% 
%% For the copyright see the source file.
%% 
%% Any modified versions of this file must be renamed
%% with new filenames distinct from zeckendorf-doc.tex.
%% 
%% For distribution of the original source see the terms
%% for copying and modification in the file zeckendorf.dtx.
%% 
%% This generated file may be distributed as long as the
%% original source files, as listed above, are part of the
%% same distribution. (The sources need not necessarily be
%% in the same archive or directory.)
%% ---------------------------------------------------------------
\def\zeckpackdate{2025/11/16}%
\def\zeckversion {0.9d}%
%% ---------------------------------------------------------------
%% The zeckendorf package: Zeckendorf representation of big integers
%% Copyright (C) 2025 Jean-Francois Burnol
%%
%% latex zeckendorf-doc.tex (thrice) && dvipdfmx zeckendorf-doc.dvi
%% to produce zeckendorf-doc.pdf
%%
%% Doing latexmk -pdf zeckendorf-doc.tex is also possible but
%% will produce a bigger file due usage of pdflatex.
%%
\NeedsTeXFormat{LaTeX2e}[2020/02/02]
\ProvidesFile{zeckendorf-doc.tex}%
[\zeckpackdate\space v\zeckversion\space driver file for %
  zeckendorf documentation (JFB)]%
\PassOptionsToClass{a4paper,fontsize=11pt}{scrartcl}
\RequirePackage{iftex}
\chardef\Withdvipdfmx \iftutex0 \else\ifpdf0 \else1 \fi\fi
\chardef\NoSourceCode 0 % replace 0 by 1 for not including source code
\input zeckendorf.dtx
%%% Local Variables:
%%% mode: latex
%%% End:
\endinput
%%
%% End of file `zeckendorf-doc.tex'.
