Skip to content

Instantly share code, notes, and snippets.

@milkypostman
Last active December 17, 2015 19:09
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save milkypostman/5657937 to your computer and use it in GitHub Desktop.
Save milkypostman/5657937 to your computer and use it in GitHub Desktop.
(cl-loop for (source-file . dest-file) in files
for info-path = (expand-file-name
(concat (file-name-sans-extension dest-file)
".info")
target-dir)
if (string-match ".texi\\(nfo\\)?$" source-file)
if (not (file-exists-p info-path))
do (ignore-errors
(pb/run-process
nil
"makeinfo"
(expand-file-name source-file source-dir)
"-o"
info-path))
do (delete-file (message (expand-file-name dest-file target-dir)))))
(cl-loop for (source-file . dest-file) in files
for info-path = (expand-file-name
(concat (file-name-sans-extension dest-file)
".info")
target-dir)
if (string-match ".texi\\(nfo\\)?$" source-file)
do (when (not (file-exists-p info-path))
(ignore-errors
(pb/run-process
nil
"makeinfo"
(expand-file-name source-file source-dir)
"-o"
info-path)))
and do (delete-file (message (expand-file-name dest-file target-dir)))))
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment