Skip to content
Projects
Groups
Snippets
Help
Loading...
Help
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
M
mooc-rr-ressources
Project
Project
Details
Activity
Releases
Cycle Analytics
Repository
Repository
Files
Commits
Branches
Tags
Contributors
Graph
Compare
Charts
Issues
0
Issues
0
List
Board
Labels
Milestones
Merge Requests
4
Merge Requests
4
Wiki
Wiki
Snippets
Snippets
Members
Members
Collapse sidebar
Close sidebar
Activity
Graph
Charts
Create a new issue
Commits
Issue Boards
Open sidebar
Learning Lab
mooc-rr-ressources
Commits
e75d84f2
Commit
e75d84f2
authored
Jul 19, 2018
by
Arnaud Legrand
Browse files
Options
Browse Files
Download
Email Patches
Plain Diff
More cosmetics for FUN
parent
8de45fb1
Changes
2
Hide whitespace changes
Inline
Side-by-side
Showing
2 changed files
with
4 additions
and
0 deletions
+4
-0
Makefile
module1/ressources/Makefile
+2
-0
Makefile
module2/ressources/Makefile
+2
-0
No files found.
module1/ressources/Makefile
View file @
e75d84f2
...
@@ -6,5 +6,7 @@ NLINES=10000000
...
@@ -6,5 +6,7 @@ NLINES=10000000
%.html
:
%.org
%.html
:
%.org
emacs
-batch
$^
--funcall
org-html-export-to-html
emacs
-batch
$^
--funcall
org-html-export-to-html
sed
-i
's/<pre /<pre style="padding-left: 30px; background-color: #f6f8fa;" /g'
$@
sed
-i
's/<pre /<pre style="padding-left: 30px; background-color: #f6f8fa;" /g'
$@
sed
-i
's/<li /<li style="margin-bottom:0;" /g'
$@
mv
$@
$@
.bak
mv
$@
$@
.bak
cat
$@
.bak |
grep
-A
$(NLINES)
-e
'<body>'
|
grep
-B
$(NLINES)
-e
'<div id="postamble" class="status">'
|
grep
-v
-e
'<body>'
-e
'<div id="postamble" class="status">'
>
$@
cat
$@
.bak |
grep
-A
$(NLINES)
-e
'<body>'
|
grep
-B
$(NLINES)
-e
'<div id="postamble" class="status">'
|
grep
-v
-e
'<body>'
-e
'<div id="postamble" class="status">'
>
$@
rm
$@
.bak
module2/ressources/Makefile
View file @
e75d84f2
...
@@ -5,5 +5,7 @@ NLINES=10000000
...
@@ -5,5 +5,7 @@ NLINES=10000000
%.html
:
%.org
%.html
:
%.org
emacs
-batch
$^
--funcall
org-html-export-to-html
emacs
-batch
$^
--funcall
org-html-export-to-html
sed
-i
's/<pre /<pre style="padding-left: 30px; background-color: #f6f8fa;" /g'
$@
sed
-i
's/<pre /<pre style="padding-left: 30px; background-color: #f6f8fa;" /g'
$@
sed
-i
's/<li /<li style="margin-bottom:0;" /g'
$@
mv
$@
$@
.bak
mv
$@
$@
.bak
cat
$@
.bak |
grep
-A
$(NLINES)
-e
'<body>'
|
grep
-B
$(NLINES)
-e
'<div id="postamble" class="status">'
|
grep
-v
-e
'<body>'
-e
'<div id="postamble" class="status">'
>
$@
cat
$@
.bak |
grep
-A
$(NLINES)
-e
'<body>'
|
grep
-B
$(NLINES)
-e
'<div id="postamble" class="status">'
|
grep
-v
-e
'<body>'
-e
'<div id="postamble" class="status">'
>
$@
rm
$@
.bak
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment