AUTOMAKE_OPTIONS = gnu

info_TEXINFOS = 8sync.texi

8sync_TEXINFOS =				\
  fdl.texi

dvi: # Skip dvi docs